「あのもにゅもにLv.54は誤り無くないかあるいはそれは永続しないかもしくはどちらもである」ということは間違っている
fact1: このみやみにゅLv.40は相応しいか保釈する fact2: 仮になにがしかのモンスターが相応しくないならば誤り無いということはないか永続しないか両方だ fact3: このみやみにゅLv.40が相応しいかあるいはそれが保釈するということはないかあるいは両方ともだとすればそのぴねぴいLv.62は永続するということはない fact4: このみやみにゅLv.40は相応しい fact5: 「相応しくないかもしくは成り難くないかまたはどちらもであるモンスターは相応しくない」ということは真実だ fact6: 仮にそのぴねぴいLv.62は永続しないとしたら「あのもにゅもにLv.54は誤り無くないかまたは永続しないかあるいは両方だ」ということは成り立つということはない
fact4 -> int1: このみやみにゅLv.40は相応しいかそれは保釈しない; int1 & fact3 -> int2: そのぴねぴいLv.62は永続しない; int2 & fact6 -> hypothesis;
fact4 -> int1: ({A}{a} v ¬{B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
あのもにゅもにLv.54は誤り無いということはないかそれは永続しないかあるいは両方だ
fact8 -> int3: 仮にあのもにゅもにLv.54が相応しくないとすると誤り無くないかあるいは永続しないか両方だ; fact7 -> int4: もし仮にあのもにゅもにLv.54が相応しくないかもしくは成り難くないかもしくはどちらもであるとしたらあのもにゅもにLv.54は相応しくない;
$facts$ = fact1: このみやみにゅLv.40は相応しいか保釈する fact2: 仮になにがしかのモンスターが相応しくないならば誤り無いということはないか永続しないか両方だ fact3: このみやみにゅLv.40が相応しいかあるいはそれが保釈するということはないかあるいは両方ともだとすればそのぴねぴいLv.62は永続するということはない fact4: このみやみにゅLv.40は相応しい fact5: 「相応しくないかもしくは成り難くないかまたはどちらもであるモンスターは相応しくない」ということは真実だ fact6: 仮にそのぴねぴいLv.62は永続しないとしたら「あのもにゅもにLv.54は誤り無くないかまたは永続しないかあるいは両方だ」ということは成り立つということはない ; $hypothesis$ = 「あのもにゅもにLv.54は誤り無くないかあるいはそれは永続しないかもしくはどちらもである」ということは間違っている ; $proof$ = 
fact4 -> int1: このみやみにゅLv.40は相応しいかそれは保釈しない; int1 & fact3 -> int2: そのぴねぴいLv.62は永続しない; int2 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} v ¬{B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis; __PROVED__