or

is a counterexample to the converse of 6 theorems
Id If Then
109 ( ) ¬
119
397 ( )
429 ( ∧¬ ∧¬ )
430
432 ( )