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 ( ∧ )