Space S9 | Property P40

is not

Automatically deduced from the following: