Space S000151

is a counterexample to the converse of 5 theorems
Id If Then
T284
T447
T594 ∧ ∧ ¬
T597 ∧
T602 ∧ ∧ ¬