or

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