以下のように仮定する。あのぷいぷよLv.78は色好かないしそれは無化しない
fact1: もし仮に「とあるモンスターは遠し一方で煎じない」ということは偽だとすれば塩っ辛くない fact2: 仮に色好かないモンスターが無化しないならば煎じない fact3: 色好いモンスターが無化しないとすると煎じない fact4: 「もしなにがしかのモンスターは塩っ辛いということはないとすると「それは情けなくないしまたそれは手早くない」ということは成り立たない」ということは成り立つ fact5: もし仮に「あるモンスターは引き受けない」ということは成り立つとしたら「遠し一方で煎じない」ということは嘘だ
fact2 -> int1: もしもあのぷいぷよLv.78が色好かなくてさらに無化しないとすると煎じるということはない; void -> assump1: 以下のように仮定する。あのぷいぷよLv.78は色好かないしそれは無化しない; int1 & assump1 -> int2: あのぷいぷよLv.78は煎じない;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: (¬{AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa};
「このまちょまにゃLv.75は情けなくなくておまけに手早くない」ということは誤っている
fact6 -> int3: もしこのまちょまにゃLv.75は塩っ辛くないとしたら「情けなくなくておまけにそれは手早くない」ということは成り立たない; fact7 -> int4: もしも「このまちょまにゃLv.75は遠しけれど煎じない」ということは事実と異なればこのまちょまにゃLv.75は塩っ辛くない; fact8 -> int5: もしこのまちょまにゃLv.75は引き受けるということはないならば「それは遠しけれど煎じない」ということは誤りだ;
$facts$ = fact1: もし仮に「とあるモンスターは遠し一方で煎じない」ということは偽だとすれば塩っ辛くない fact2: 仮に色好かないモンスターが無化しないならば煎じない fact3: 色好いモンスターが無化しないとすると煎じない fact4: 「もしなにがしかのモンスターは塩っ辛いということはないとすると「それは情けなくないしまたそれは手早くない」ということは成り立たない」ということは成り立つ fact5: もし仮に「あるモンスターは引き受けない」ということは成り立つとしたら「遠し一方で煎じない」ということは嘘だ ; $hypothesis$ = 以下のように仮定する。あのぷいぷよLv.78は色好かないしそれは無化しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__