論理学を作る練習問題32(5)のルイスキャロルの妥当性検証。 10個述語が並んでるので真理値表でやると2^10=1024マス記述が必要？*1 タブローだとa4用紙に収まる程度で解ける *1:真理値表で解く方法はしらないけど