A Mathematical Framework for Modeling Legal Reasoning Through Conditional Logic