「このぴいぴくLv.90は亡くなるしかつ有り難し」ということは間違いだ
fact1: もしもとあるモンスターが亡くなればそれは壊れ易い fact2: このぴいぴくLv.90は有り難し fact3: そのもわもねLv.25は寂しいということはない fact4: そのもわもねLv.25は寂しくないならば「このぴいぴくLv.90は悔しいということはないかまたはそれは逃げ為さらないかもしくは両方ともだ」ということは成り立たない
fact4 & fact3 -> int1: 「「このぴいぴくLv.90は悔しくないかまたは逃げ為さらないかどちらもである」ということは嘘である」ということは成り立つ;
fact4 & fact3 -> int1: ¬(¬{AA}{b} v ¬{AB}{b});
あのまちゃまちょLv.20は壊れ易くてかつ拙い
fact5 -> int2: もしあのまちゃまちょLv.20が亡くなるとするとあのまちゃまちょLv.20は壊れ易い;
$facts$ = fact1: もしもとあるモンスターが亡くなればそれは壊れ易い fact2: このぴいぴくLv.90は有り難し fact3: そのもわもねLv.25は寂しいということはない fact4: そのもわもねLv.25は寂しくないならば「このぴいぴくLv.90は悔しいということはないかまたはそれは逃げ為さらないかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = 「このぴいぴくLv.90は亡くなるしかつ有り難し」ということは間違いだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__