「取り辛いかまたは子供らしいモンスターはいる」ということは誤りである
fact1: あのぴにぴなLv.42は納棺する fact2: あのまにゃまゆLv.94は子供らしいかもしくはそれは納棺するかまたは両方である fact3: 仮にあのぴにぴなLv.42は納棺するとすれば「あのまにゃまゆLv.94は取り辛い」ということは事実である
fact3 & fact1 -> int1: 「あのまにゃまゆLv.94は取り辛い」ということは正しい; int1 -> int2: あのまにゃまゆLv.94は取り辛いか子供らしい; int2 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis;
$facts$ = fact1: あのぴにぴなLv.42は納棺する fact2: あのまにゃまゆLv.94は子供らしいかもしくはそれは納棺するかまたは両方である fact3: 仮にあのぴにぴなLv.42は納棺するとすれば「あのまにゃまゆLv.94は取り辛い」ということは事実である ; $hypothesis$ = 「取り辛いかまたは子供らしいモンスターはいる」ということは誤りである ; $proof$ = 
fact3 & fact1 -> int1: 「あのまにゃまゆLv.94は取り辛い」ということは正しい; int1 -> int2: あのまにゃまゆLv.94は取り辛いか子供らしい; int2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 -> hypothesis; __DISPROVED__