「そのぷちゃぷよLv.51は怪しくないかまたは受け辛くないかもしくは両方ともだ」ということは成り立たない
fact1: そのぷちゃぷよLv.51が逆戻りするということはないなら梱包するししかも粘り強い fact2: そのぷちゃぷよLv.51は梱包しない fact3: そのぷちゃぷよLv.51は受け辛い fact4: もしなにがしかのモンスターが梱包するとすればそれは怪しいということはないかそれは受け辛くない fact5: 仮にあるモンスターは梱包しないとしたら「怪しくないか受け辛くないかまたは両方だ」ということは嘘である
fact5 -> int1: そのぷちゃぷよLv.51は梱包しないとしたら「怪しくないかあるいはそれは受け辛くない」ということは事実と異なる; int1 & fact2 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis;
そのぷちゃぷよLv.51は怪しくないかあるいはそれは受け辛くない
fact6 -> int2: もしも「そのぷちゃぷよLv.51は梱包する」ということは成り立つとすればそれは怪しくないかあるいは受け辛くないかどちらもである;
$facts$ = fact1: そのぷちゃぷよLv.51が逆戻りするということはないなら梱包するししかも粘り強い fact2: そのぷちゃぷよLv.51は梱包しない fact3: そのぷちゃぷよLv.51は受け辛い fact4: もしなにがしかのモンスターが梱包するとすればそれは怪しいということはないかそれは受け辛くない fact5: 仮にあるモンスターは梱包しないとしたら「怪しくないか受け辛くないかまたは両方だ」ということは嘘である ; $hypothesis$ = 「そのぷちゃぷよLv.51は怪しくないかまたは受け辛くないかもしくは両方ともだ」ということは成り立たない ; $proof$ = 
fact5 -> int1: そのぷちゃぷよLv.51は梱包しないとしたら「怪しくないかあるいはそれは受け辛くない」ということは事実と異なる; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis; __PROVED__