「あのみくみゆLv.36は分封するけれど容易くない」ということは成り立たない
fact1: このぽのぽちゅLv.46は有り難し fact2: もしもなにがしかのモンスターは有り難しなら「分封するしまたそれは容易いということはない」ということは偽である fact3: このぽのぽちゅLv.46は取り易い fact4: もし仮にこのぽのぽちゅLv.46が有り難しし加えて取り易いとするとあのみくみゆLv.36は容易くない fact5: あのみくみゆLv.36は分封する
fact1 & fact3 -> int1: このぽのぽちゅLv.46は有り難しし更に取り易い; int1 & fact4 -> int2: あのみくみゆLv.36は容易くない; int2 & fact5 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis;
「あのみくみゆLv.36は分封するけれど容易くない」ということは成り立たない
fact6 -> int3: もし仮にあのみくみゆLv.36は有り難しとすると「あのみくみゆLv.36は分封するけど容易くない」ということは誤りである;
$facts$ = fact1: このぽのぽちゅLv.46は有り難し fact2: もしもなにがしかのモンスターは有り難しなら「分封するしまたそれは容易いということはない」ということは偽である fact3: このぽのぽちゅLv.46は取り易い fact4: もし仮にこのぽのぽちゅLv.46が有り難しし加えて取り易いとするとあのみくみゆLv.36は容易くない fact5: あのみくみゆLv.36は分封する ; $hypothesis$ = 「あのみくみゆLv.36は分封するけれど容易くない」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: このぽのぽちゅLv.46は有り難しし更に取り易い; int1 & fact4 -> int2: あのみくみゆLv.36は容易くない; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__