Space S2 | Property P22

is not

Automatically deduced from the following: