Space S000018

or

is a counterexample to the converse of 6 theorems
Id If Then
T24
T88 ¬
T89 ∧ ¬ ¬
T110
T122
T314 ¬