or

is a counterexample to the converse of 34 theorems
Id If Then
27 ( )
28 ( )
37 ( )
41 ¬
42
43 ( )
66
70
81 ( ) ¬
98
100
104
113
127 ( )
143
152
169
171 ( ∧¬ ) ¬
176
194
204
208 ( ) ¬
230 ( )
269 ( )
280 ( )
308 ( ) ¬
312 ( )
328
330
333
348 ( ∧¬ )
349 ( ∧¬ )
423 ( )
426 ( )