or

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