or

is a counterexample to the converse of 6 theorems
Id If Then
24 ( ∧ )
88 ( ∧ ) ¬
89 ( ∧¬ ) ¬
110 ( ∧ )
122
314 ¬