「そのぴのぴねLv.80は固くないし塩っ辛くない」ということは間違いだ
fact1: 「座り易くないモンスターはめんどくないし掛け易くない」ということは確かである fact2: そのぴのぴねLv.80は塩っ辛いということはない fact3: 肌寒くないモンスターは座り易いしまた最もらしい fact4: あらゆるモンスターは塩っ辛くない
すべてのモンスターはめんどくなくて掛け易くない
fact5 -> int1: 仮にそのぴのぴねLv.80が座り易くないならばそのぴのぴねLv.80はめんどくないし掛け易くない;
$facts$ = fact1: 「座り易くないモンスターはめんどくないし掛け易くない」ということは確かである fact2: そのぴのぴねLv.80は塩っ辛いということはない fact3: 肌寒くないモンスターは座り易いしまた最もらしい fact4: あらゆるモンスターは塩っ辛くない ; $hypothesis$ = 「そのぴのぴねLv.80は固くないし塩っ辛くない」ということは間違いだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__