Space S28 | Property P3

is

Automatically deduced from the following:
Properties
Property Value
Theorems
Id If Then
T346 ¬
T133
T77
T272
T645 ∧ ¬
T181
T364
T135
T328
T360
T347
T127