「「もし仮に大人しいとしたら陥り易い」モンスターはいる」ということは間違っている
fact1: 仮にこのぽちょぽねLv.5が大人しいとすればそれは堅苦しいが秋めかない fact2: もしこのぽちょぽねLv.5は堅苦しいがしかし秋めかないならそれは陥り易い fact3: 「仮に堅苦しいならば秋めく」モンスターはいる fact4: 熱くないモンスターは厳くないしその上遜色無くない fact5: もし仮にこのぽちょぽねLv.5が堅苦しいとすればこのぽちょぽねLv.5は怒りっぽくない fact6: もしもそのもなもいLv.27が厳いならそのもなもいLv.27は陥り易い fact7: 遜色無くないモンスターは大人しいしまた陥り易い
void -> assump1: 以下のように仮定する。このぽちょぽねLv.5は大人しい; fact1 & assump1 -> int1: このぽちょぽねLv.5は堅苦しい一方で秋めかない; int1 & fact2 -> int2: このぽちょぽねLv.5は陥り易い; [assump1] & int2 -> int3: もし仮にこのぽちょぽねLv.5が大人しいとしたらそれは陥り易い; int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{a}; [assump1] & int2 -> int3: {A}{a} -> {B}{a}; int3 -> hypothesis;
そのぽちゅぽのLv.15は大人しい
fact9 -> int4: もしも「「そのぽちゅぽのLv.15は遜色無い」ということは誤りだ」ということは成り立つとしたらそのぽちゅぽのLv.15は大人しくて加えてそれは陥り易い; fact8 -> int5: もしそのぽちゅぽのLv.15が熱くないとしたらそれは厳くないしそれは遜色無くない;
$facts$ = fact1: 仮にこのぽちょぽねLv.5が大人しいとすればそれは堅苦しいが秋めかない fact2: もしこのぽちょぽねLv.5は堅苦しいがしかし秋めかないならそれは陥り易い fact3: 「仮に堅苦しいならば秋めく」モンスターはいる fact4: 熱くないモンスターは厳くないしその上遜色無くない fact5: もし仮にこのぽちょぽねLv.5が堅苦しいとすればこのぽちょぽねLv.5は怒りっぽくない fact6: もしもそのもなもいLv.27が厳いならそのもなもいLv.27は陥り易い fact7: 遜色無くないモンスターは大人しいしまた陥り易い ; $hypothesis$ = 「「もし仮に大人しいとしたら陥り易い」モンスターはいる」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽちょぽねLv.5は大人しい; fact1 & assump1 -> int1: このぽちょぽねLv.5は堅苦しい一方で秋めかない; int1 & fact2 -> int2: このぽちょぽねLv.5は陥り易い; [assump1] & int2 -> int3: もし仮にこのぽちょぽねLv.5が大人しいとしたらそれは陥り易い; int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{a}; [assump1] & int2 -> int3: {A}{a} -> {B}{a}; int3 -> hypothesis; __DISPROVED__