or

is a counterexample to the converse of 4 theorems
Id If Then
22 ( ∧ )
40
88 ( ∧ ) ¬
251