BooleanInferenceRules0

refined

BooleanInferenceRules1

refined

BooleanPredicates

refined

boolean

refined