「あのもにゃもにゃLv.23はうざい」ということは正しい
fact1: そのぷにゅぷゆLv.89はねちっこい fact2: 物凄いということはなくておまけに粘っこくないモンスターは濃縮出来るということはない fact3: 仮にそのぷにゅぷゆLv.89がねちっこいならばこのみちゃみちゃLv.88は濃縮出来る fact4: もし仮に何らかのモンスターが濃縮出来ないとしたらそれはうざいしかつねちっこい fact5: このみちゃみちゃLv.88は粘っこいし加えてそれは濃縮出来ればあのもにゃもにゃLv.23はうざくない fact6: このみちゃみちゃLv.88は粘っこい
fact3 & fact1 -> int1: このみちゃみちゃLv.88は濃縮出来る; int1 & fact6 -> int2: 「このみちゃみちゃLv.88は粘っこいしおまけに濃縮出来る」ということは真実だ; int2 & fact5 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: ({C}{b} & {B}{b}); int2 & fact5 -> hypothesis;
「そのもゆもいLv.65はうざい」ということは真実である
fact7 -> int3: もしもそのもゆもいLv.65が濃縮出来ないとしたらうざいしまたそれはねちっこい; fact8 -> int4: もし仮にそのもゆもいLv.65が物凄くなくてその上粘っこいということはないならばそのもゆもいLv.65は濃縮出来ない;
$facts$ = fact1: そのぷにゅぷゆLv.89はねちっこい fact2: 物凄いということはなくておまけに粘っこくないモンスターは濃縮出来るということはない fact3: 仮にそのぷにゅぷゆLv.89がねちっこいならばこのみちゃみちゃLv.88は濃縮出来る fact4: もし仮に何らかのモンスターが濃縮出来ないとしたらそれはうざいしかつねちっこい fact5: このみちゃみちゃLv.88は粘っこいし加えてそれは濃縮出来ればあのもにゃもにゃLv.23はうざくない fact6: このみちゃみちゃLv.88は粘っこい ; $hypothesis$ = 「あのもにゃもにゃLv.23はうざい」ということは正しい ; $proof$ = 
fact3 & fact1 -> int1: このみちゃみちゃLv.88は濃縮出来る; int1 & fact6 -> int2: 「このみちゃみちゃLv.88は粘っこいしおまけに濃縮出来る」ということは真実だ; int2 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: ({C}{b} & {B}{b}); int2 & fact5 -> hypothesis; __DISPROVED__