これはやばい
脳内で掛受とかが演算できないんだな
述語論理だと一階から認知と演算ができないのか

なるほど大いに勉強になった