or

is a counterexample to the converse of 17 theorems
Id If Then
41 ¬
51
72
76
96
139
157
190
248 ¬
250 ¬
251
252
275 ( )
313
349 ( ∧¬ )
426 ( )
428