そのぴよぴなLv.58は尽かさない
fact1: あのぷわぷよLv.83は尽かすということはない fact2: あのぽちゅぽのLv.29は起き為さるということはない fact3: 仮になにがしかのモンスターが尽かせば起き為さらない fact4: あるモンスターが与し易いなら座り易くない
fact3 -> int1: 「もしそのぴよぴなLv.58が尽かせばそのぴよぴなLv.58は起き為さらない」ということは本当だ; void -> assump1: 以下のように仮定する。そのぴよぴなLv.58は尽かす; int1 & assump1 -> int2: 「そのぴよぴなLv.58は起き為さらない」ということは誤りでない;
fact3 -> int1: {A}{aa} -> ¬{C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬{C}{aa};
$facts$ = fact1: あのぷわぷよLv.83は尽かすということはない fact2: あのぽちゅぽのLv.29は起き為さるということはない fact3: 仮になにがしかのモンスターが尽かせば起き為さらない fact4: あるモンスターが与し易いなら座り易くない ; $hypothesis$ = そのぴよぴなLv.58は尽かさない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__