or

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