or

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