Physics.Math.Code

В этом и проблема. Это упражнение из начала учебника, я не знаю силлогистику или какую-нибудь предикатную логику, чтобы решить упражнение. Само выражение является истинной, но форму для неё я придумал неправильную.