or

is a counterexample to the converse of 4 theorems
Id If Then
1
279 ( ∧ )
322 ( ∧ ∧ )
390