「「「上積みする」ということは正しいとすると上積みするが伴えない」モンスターはいる」ということは誤りだ
fact1: もしあるモンスターは伴えるとすれば「折れ易いけれど上積みしない」ということは事実でない fact2: そのぷにゃぷなLv.42は伴えるということはない fact3: もし仮に「何らかのモンスターは折れ易いけどそれは上積みしない」ということは成り立たないとしたら折れ易いということはない
void -> assump1: 以下のように仮定する。そのぷにゃぷなLv.42は上積みする; assump1 & fact2 -> int1: 「そのぷにゃぷなLv.42は上積みするがそれは伴えない」ということは成り立つ; [assump1] & int1 -> int2: もし仮にそのぷにゃぷなLv.42が上積みするとするとそのぷにゃぷなLv.42は上積みするけれど伴えない; int2 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> int2: {A}{a} -> ({A}{a} & ¬{B}{a}); int2 -> hypothesis;
そのぷにゃぷなLv.42は折れ易くない
fact5 -> int3: もし仮に「そのぷにゃぷなLv.42は折れ易い一方で上積みしない」ということは本当だということはないとすればそのぷにゃぷなLv.42は折れ易くない; fact4 -> int4: 仮にそのぷにゃぷなLv.42は伴えるとすれば「そのぷにゃぷなLv.42は折れ易いけど上積みしない」ということは事実でない;
$facts$ = fact1: もしあるモンスターは伴えるとすれば「折れ易いけれど上積みしない」ということは事実でない fact2: そのぷにゃぷなLv.42は伴えるということはない fact3: もし仮に「何らかのモンスターは折れ易いけどそれは上積みしない」ということは成り立たないとしたら折れ易いということはない ; $hypothesis$ = 「「「上積みする」ということは正しいとすると上積みするが伴えない」モンスターはいる」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぷにゃぷなLv.42は上積みする; assump1 & fact2 -> int1: 「そのぷにゃぷなLv.42は上積みするがそれは伴えない」ということは成り立つ; [assump1] & int1 -> int2: もし仮にそのぷにゃぷなLv.42が上積みするとするとそのぷにゃぷなLv.42は上積みするけれど伴えない; int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> int2: {A}{a} -> ({A}{a} & ¬{B}{a}); int2 -> hypothesis; __DISPROVED__