あのまにゃまなLv.76は出府しない
fact1: もしなんらかのモンスターが立たないけれどたわいないとすればそのもにゅもねLv.67はむさくるしい fact2: このぽくぽにゃLv.27が長細いとしたらこのみわみくLv.11は限り無い fact3: なにがしかのモンスターが立つならたわいない fact4: もし仮に「このみわみくLv.11は限り無い」ということは成り立つとするとあのまにゃまなLv.76は出府する fact5: あるモンスターは立たないがしかしたわいない fact6: もしそのもにゅもねLv.67がむさくるしいならばこのぽくぽにゃLv.27は長細い fact7: もしこのぽくぽにゃLv.27がたわいないとしたらそのもにゅもねLv.67は限り無い fact8: もし仮に「あるモンスターはむさくるしいが長細くない」ということは誤っているとするとそれは出府するということはない fact9: もしそのもにゅもねLv.67は限り無いとしたら「あのまにゃまなLv.76はむさくるしいがしかし長細いということはない」ということは偽だ
fact5 & fact1 -> int1: そのもにゅもねLv.67はむさくるしい; fact6 & int1 -> int2: このぽくぽにゃLv.27は長細い; int2 & fact2 -> int3: このみわみくLv.11は限り無い; int3 & fact4 -> hypothesis;
fact5 & fact1 -> int1: {A}{a}; fact6 & int1 -> int2: {B}{b}; int2 & fact2 -> int3: {C}{c}; int3 & fact4 -> hypothesis;
あのまにゃまなLv.76は出府しない
fact11 -> int4: 仮に「あのまにゃまなLv.76はむさくるしいがそれは長細くない」ということは成り立つということはないならそれは出府するということはない; fact10 -> int5: もし仮にこのぽくぽにゃLv.27が立つならこのぽくぽにゃLv.27はたわいない;
$facts$ = fact1: もしなんらかのモンスターが立たないけれどたわいないとすればそのもにゅもねLv.67はむさくるしい fact2: このぽくぽにゃLv.27が長細いとしたらこのみわみくLv.11は限り無い fact3: なにがしかのモンスターが立つならたわいない fact4: もし仮に「このみわみくLv.11は限り無い」ということは成り立つとするとあのまにゃまなLv.76は出府する fact5: あるモンスターは立たないがしかしたわいない fact6: もしそのもにゅもねLv.67がむさくるしいならばこのぽくぽにゃLv.27は長細い fact7: もしこのぽくぽにゃLv.27がたわいないとしたらそのもにゅもねLv.67は限り無い fact8: もし仮に「あるモンスターはむさくるしいが長細くない」ということは誤っているとするとそれは出府するということはない fact9: もしそのもにゅもねLv.67は限り無いとしたら「あのまにゃまなLv.76はむさくるしいがしかし長細いということはない」ということは偽だ ; $hypothesis$ = あのまにゃまなLv.76は出府しない ; $proof$ = 
fact5 & fact1 -> int1: そのもにゅもねLv.67はむさくるしい; fact6 & int1 -> int2: このぽくぽにゃLv.27は長細い; int2 & fact2 -> int3: このみわみくLv.11は限り無い; int3 & fact4 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {A}{a}; fact6 & int1 -> int2: {B}{b}; int2 & fact2 -> int3: {C}{c}; int3 & fact4 -> hypothesis; __DISPROVED__