「あのぷわぷちゃLv.22は猛々しいがしかし捕らえ易くない」ということは間違っている
fact1: あのぷわぷちゃLv.22は猛々しい fact2: もしもあのみにゅみやLv.62が小狡いならばあのぷわぷちゃLv.22は小狡い fact3: もしも小狡くないモンスターがいるならあのみにゅみやLv.62は待ち遠しくない fact4: もしもこのまねまなLv.50が小狡いならあのみにゅみやLv.62は小狡い fact5: とあるモンスターは小狡くない fact6: もしもとあるモンスターは小狡いとすれば「それは猛々しいし捕らえ易いということはない」ということは間違いである fact7: もしも「「「売り上げるかもしくは実現し易いかあるいはどちらもだ」ということは真実である」ということは真実でない」モンスターがいるとしたらあのぷわぷちゃLv.22は捕らえ易いということはない fact8: もしあのみにゅみやLv.62は待ち遠しくないとすると「このまねまなLv.50は売り上げるかまたはそれは実現し易い」ということは成り立たない
fact5 & fact3 -> int1: あのみにゅみやLv.62は待ち遠しくない; int1 & fact8 -> int2: 「このまねまなLv.50は売り上げるかもしくは実現し易いかまたは両方である」ということは間違いである; int2 -> int3: 「「「売り上げるか実現し易いかあるいは両方ともである」ということは成り立つ」ということは嘘である」モンスターはいる; int3 & fact7 -> int4: あのぷわぷちゃLv.22は捕らえ易くない; int4 & fact1 -> hypothesis;
fact5 & fact3 -> int1: ¬{B}{a}; int1 & fact8 -> int2: ¬({D}{b} v {C}{b}); int2 -> int3: (Ex): ¬({D}x v {C}x); int3 & fact7 -> int4: ¬{E}{c}; int4 & fact1 -> hypothesis;
「あのぷわぷちゃLv.22は猛々しいがしかし捕らえ易くない」ということは間違っている
fact11 -> int5: あのぷわぷちゃLv.22は小狡いなら「あのぷわぷちゃLv.22は猛々しい一方で捕らえ易くない」ということは誤っている;
$facts$ = fact1: あのぷわぷちゃLv.22は猛々しい fact2: もしもあのみにゅみやLv.62が小狡いならばあのぷわぷちゃLv.22は小狡い fact3: もしも小狡くないモンスターがいるならあのみにゅみやLv.62は待ち遠しくない fact4: もしもこのまねまなLv.50が小狡いならあのみにゅみやLv.62は小狡い fact5: とあるモンスターは小狡くない fact6: もしもとあるモンスターは小狡いとすれば「それは猛々しいし捕らえ易いということはない」ということは間違いである fact7: もしも「「「売り上げるかもしくは実現し易いかあるいはどちらもだ」ということは真実である」ということは真実でない」モンスターがいるとしたらあのぷわぷちゃLv.22は捕らえ易いということはない fact8: もしあのみにゅみやLv.62は待ち遠しくないとすると「このまねまなLv.50は売り上げるかまたはそれは実現し易い」ということは成り立たない ; $hypothesis$ = 「あのぷわぷちゃLv.22は猛々しいがしかし捕らえ易くない」ということは間違っている ; $proof$ = 
fact5 & fact3 -> int1: あのみにゅみやLv.62は待ち遠しくない; int1 & fact8 -> int2: 「このまねまなLv.50は売り上げるかもしくは実現し易いかまたは両方である」ということは間違いである; int2 -> int3: 「「「売り上げるか実現し易いかあるいは両方ともである」ということは成り立つ」ということは嘘である」モンスターはいる; int3 & fact7 -> int4: あのぷわぷちゃLv.22は捕らえ易くない; int4 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ¬{B}{a}; int1 & fact8 -> int2: ¬({D}{b} v {C}{b}); int2 -> int3: (Ex): ¬({D}x v {C}x); int3 & fact7 -> int4: ¬{E}{c}; int4 & fact1 -> hypothesis; __DISPROVED__