Space S5 | Property P56

is not

Automatically deduced from the following: