あのまちゅまにゅLv.14は砕け易くない
fact1: このもゆものLv.24は心地良い fact2: 「このもねもにLv.1は浮き易い」ということは成り立つ fact3: もしそのもちょもなLv.50がえげつないならばこのもねもにLv.1は脂っこい fact4: このもゆものLv.24が心地良いとしたらそのもちょもなLv.50はえげつない fact5: もし仮にそのもちょもなLv.50が心地良いとすればこのもゆものLv.24はえげつない fact6: もしこのもゆものLv.24がえげつないならそのもちょもなLv.50は心地良い fact7: もしこのもねもにLv.1が脂っこいならばあのまちゅまにゅLv.14は砕け易い fact8: そのもちょもなLv.50が脂っこいならばこのもねもにLv.1はえげつない fact9: このもゆものLv.24は疑わしい
fact4 & fact1 -> int1: 「そのもちょもなLv.50はえげつない」ということは成り立つ; int1 & fact3 -> int2: このもねもにLv.1は脂っこい; int2 & fact7 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact7 -> hypothesis;
$facts$ = fact1: このもゆものLv.24は心地良い fact2: 「このもねもにLv.1は浮き易い」ということは成り立つ fact3: もしそのもちょもなLv.50がえげつないならばこのもねもにLv.1は脂っこい fact4: このもゆものLv.24が心地良いとしたらそのもちょもなLv.50はえげつない fact5: もし仮にそのもちょもなLv.50が心地良いとすればこのもゆものLv.24はえげつない fact6: もしこのもゆものLv.24がえげつないならそのもちょもなLv.50は心地良い fact7: もしこのもねもにLv.1が脂っこいならばあのまちゅまにゅLv.14は砕け易い fact8: そのもちょもなLv.50が脂っこいならばこのもねもにLv.1はえげつない fact9: このもゆものLv.24は疑わしい ; $hypothesis$ = あのまちゅまにゅLv.14は砕け易くない ; $proof$ = 
fact4 & fact1 -> int1: 「そのもちょもなLv.50はえげつない」ということは成り立つ; int1 & fact3 -> int2: このもねもにLv.1は脂っこい; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact7 -> hypothesis; __DISPROVED__