あのもなもにょLv.49は仕上がる
fact1: もし仮に「そのぷちゃぷいLv.79はむさくるしいけれど締めっぽくない」ということは成り立たないならあのもなもにょLv.49は仕上がる fact2: 仕方無くないモンスターは仕上がらない fact3: このぽやぽちゃLv.58は仕方無いし行儀良い fact4: 仮に「行儀良い」モンスターはいるとしたら「そのぷちゃぷいLv.79はむさくるしいけれど締めっぽくない」ということは成り立つということはない fact5: なにがしかのモンスターはむさくるしいならば「行儀良い一方で締めっぽくない」ということは成り立たない
fact3 -> int1: 「このぽやぽちゃLv.58は行儀良い」ということは成り立つ; int1 -> int2: 「行儀良い」モンスターはいる; int2 & fact4 -> int3: 「そのぷちゃぷいLv.79はむさくるしいけど締めっぽくない」ということは成り立たない; int3 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 -> int2: (Ex): {B}x; int2 & fact4 -> int3: ¬({D}{b} & ¬{C}{b}); int3 & fact1 -> hypothesis;
あのもなもにょLv.49は仕上がるということはない
fact7 -> int4: もしあのもなもにょLv.49が仕方無くないならば仕上がらない; fact6 -> int5: このぽやぽちゃLv.58はむさくるしいなら「「このぽやぽちゃLv.58は行儀良いが締めっぽいということはない」ということは成り立つということはない」ということは本当である;
$facts$ = fact1: もし仮に「そのぷちゃぷいLv.79はむさくるしいけれど締めっぽくない」ということは成り立たないならあのもなもにょLv.49は仕上がる fact2: 仕方無くないモンスターは仕上がらない fact3: このぽやぽちゃLv.58は仕方無いし行儀良い fact4: 仮に「行儀良い」モンスターはいるとしたら「そのぷちゃぷいLv.79はむさくるしいけれど締めっぽくない」ということは成り立つということはない fact5: なにがしかのモンスターはむさくるしいならば「行儀良い一方で締めっぽくない」ということは成り立たない ; $hypothesis$ = あのもなもにょLv.49は仕上がる ; $proof$ = 
fact3 -> int1: 「このぽやぽちゃLv.58は行儀良い」ということは成り立つ; int1 -> int2: 「行儀良い」モンスターはいる; int2 & fact4 -> int3: 「そのぷちゃぷいLv.79はむさくるしいけど締めっぽくない」ということは成り立たない; int3 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 -> int2: (Ex): {B}x; int2 & fact4 -> int3: ¬({D}{b} & ¬{C}{b}); int3 & fact1 -> hypothesis; __PROVED__