「このぽゆぽなLv.99はか細いということはないか寄与するかあるいは両方ともである」ということは成り立たない
fact1: もしもそのぴいぴにょLv.31は寄与するということはないとするとこのぽゆぽなLv.99はか細くないかもしくはそれは寄与するかあるいは両方だ fact2: あのまえまにゃLv.99は送り続ける fact3: このまのまちょLv.97はアメリカっぽい fact4: このぽゆぽなLv.99は寄与するか送り続けるか両方ともだ fact5: あのまえまにゃLv.99はアメリカっぽくておまけに拍手喝采する fact6: 仮にとあるモンスターは送り続けるしさらに寄与するとするとあのまえまにゃLv.99はか細くない fact7: もし「「あるモンスターは拍手喝采するししかも送り続ける」ということは誤りでない」ということは真実であるとしたらそのぴいぴにょLv.31は寄与するということはない fact8: もし仮にとあるモンスターはアメリカっぽくないとすれば「それはか細くないか寄与するか両方ともである」ということは間違いである
fact5 -> int1: あのまえまにゃLv.99は拍手喝采する; int1 & fact2 -> int2: あのまえまにゃLv.99は拍手喝采するし加えて送り続ける; int2 -> int3: あるモンスターは拍手喝采するし更に送り続ける; int3 & fact7 -> int4: そのぴいぴにょLv.31は寄与しない; int4 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact7 -> int4: ¬{D}{b}; int4 & fact1 -> hypothesis;
「このぽゆぽなLv.99はか細いということはないか寄与するかあるいは両方ともである」ということは成り立たない
fact9 -> int5: 仮にこのぽゆぽなLv.99はアメリカっぽくないとすれば「それはか細くないかまたはそれは寄与するかまたはどちらもである」ということは間違っている;
$facts$ = fact1: もしもそのぴいぴにょLv.31は寄与するということはないとするとこのぽゆぽなLv.99はか細くないかもしくはそれは寄与するかあるいは両方だ fact2: あのまえまにゃLv.99は送り続ける fact3: このまのまちょLv.97はアメリカっぽい fact4: このぽゆぽなLv.99は寄与するか送り続けるか両方ともだ fact5: あのまえまにゃLv.99はアメリカっぽくておまけに拍手喝采する fact6: 仮にとあるモンスターは送り続けるしさらに寄与するとするとあのまえまにゃLv.99はか細くない fact7: もし「「あるモンスターは拍手喝采するししかも送り続ける」ということは誤りでない」ということは真実であるとしたらそのぴいぴにょLv.31は寄与するということはない fact8: もし仮にとあるモンスターはアメリカっぽくないとすれば「それはか細くないか寄与するか両方ともである」ということは間違いである ; $hypothesis$ = 「このぽゆぽなLv.99はか細いということはないか寄与するかあるいは両方ともである」ということは成り立たない ; $proof$ = 
fact5 -> int1: あのまえまにゃLv.99は拍手喝采する; int1 & fact2 -> int2: あのまえまにゃLv.99は拍手喝采するし加えて送り続ける; int2 -> int3: あるモンスターは拍手喝采するし更に送り続ける; int3 & fact7 -> int4: そのぴいぴにょLv.31は寄与しない; int4 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 -> int3: (Ex): ({B}x & {C}x); int3 & fact7 -> int4: ¬{D}{b}; int4 & fact1 -> hypothesis; __DISPROVED__