Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions