「そのもちょもゆLv.92は如何わしくてそれはいとおしい」ということは誤りだ
fact1: そのぽなぽえLv.52は如何わしい fact2: 「そのもちょもゆLv.92はいとおしい」ということは成り立つ fact3: そのもちょもゆLv.92は企図する fact4: 仮にそのもちょもゆLv.92が御濃いとしたらそのもちょもゆLv.92は如何わしい fact5: もしもそのもちょもゆLv.92が企図するとしたらそれは御濃い fact6: そのもちょもゆLv.92は起き難い
fact5 & fact3 -> int1: そのもちょもゆLv.92は御濃い; int1 & fact4 -> int2: そのもちょもゆLv.92は如何わしい; int2 & fact2 -> hypothesis;
fact5 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのぽなぽえLv.52は如何わしい fact2: 「そのもちょもゆLv.92はいとおしい」ということは成り立つ fact3: そのもちょもゆLv.92は企図する fact4: 仮にそのもちょもゆLv.92が御濃いとしたらそのもちょもゆLv.92は如何わしい fact5: もしもそのもちょもゆLv.92が企図するとしたらそれは御濃い fact6: そのもちょもゆLv.92は起き難い ; $hypothesis$ = 「そのもちょもゆLv.92は如何わしくてそれはいとおしい」ということは誤りだ ; $proof$ = 
fact5 & fact3 -> int1: そのもちょもゆLv.92は御濃い; int1 & fact4 -> int2: そのもちょもゆLv.92は如何わしい; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__