Space S24 | Property P41

is not

Automatically deduced from the following: