このもよもくLv.26は新規参入するし晴れがましい
fact1: 拙いモンスターがいるとしたらそのまやまのLv.90は拙いかたどたどしいかまたは両方である fact2: もし仮にそのまやまのLv.90がふわふわするとしたらこのもよもくLv.26は新規参入する fact3: このぷよぷにLv.63は拙くないがたどたどしい fact4: もしこのもちょもいLv.12が体験しないとするとそのまやまのLv.90はふわふわするかあるいは低い fact5: もし仮にこのぷよぷにLv.63は拙くないがしかしたどたどしいなら「このもちょもいLv.12は体験しない」ということは本当だ fact6: このもよもくLv.26は晴れがましい fact7: 仮に「そのまやまのLv.90は低い」ということは確かならばこのもよもくLv.26は新規参入する
fact3 & fact5 -> int1: このもちょもいLv.12は体験しない; fact4 & int1 -> int2: そのまやまのLv.90はふわふわするか低いかもしくはどちらもだ; int2 & fact2 & fact7 -> int3: このもよもくLv.26は新規参入する; int3 & fact6 -> hypothesis;
fact3 & fact5 -> int1: ¬{A}{a}; fact4 & int1 -> int2: ({AA}{b} v {AB}{b}); int2 & fact2 & fact7 -> int3: {B}{c}; int3 & fact6 -> hypothesis;
「「このもよもくLv.26は新規参入するし晴れがましい」ということは成り立たない」ということは誤っていない
$facts$ = fact1: 拙いモンスターがいるとしたらそのまやまのLv.90は拙いかたどたどしいかまたは両方である fact2: もし仮にそのまやまのLv.90がふわふわするとしたらこのもよもくLv.26は新規参入する fact3: このぷよぷにLv.63は拙くないがたどたどしい fact4: もしこのもちょもいLv.12が体験しないとするとそのまやまのLv.90はふわふわするかあるいは低い fact5: もし仮にこのぷよぷにLv.63は拙くないがしかしたどたどしいなら「このもちょもいLv.12は体験しない」ということは本当だ fact6: このもよもくLv.26は晴れがましい fact7: 仮に「そのまやまのLv.90は低い」ということは確かならばこのもよもくLv.26は新規参入する ; $hypothesis$ = このもよもくLv.26は新規参入するし晴れがましい ; $proof$ = 
fact3 & fact5 -> int1: このもちょもいLv.12は体験しない; fact4 & int1 -> int2: そのまやまのLv.90はふわふわするか低いかもしくはどちらもだ; int2 & fact2 & fact7 -> int3: このもよもくLv.26は新規参入する; int3 & fact6 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: ¬{A}{a}; fact4 & int1 -> int2: ({AA}{b} v {AB}{b}); int2 & fact2 & fact7 -> int3: {B}{c}; int3 & fact6 -> hypothesis; __PROVED__