あのみちゃみわLv.8は尊し
fact1: そのぴにゃぴちょLv.41が物々しいしその上それが重々しいとすればあのぷにゅぷにょLv.65はえぐくない fact2: もし仮にあのぷにゅぷにょLv.65がえぐくないとしたらあのみちゃみわLv.8は落ち易くて尊し fact3: そのぴにゃぴちょLv.41は物々しい fact4: もし仮にあのぷにゅぷにょLv.65がえぐくないならあのみちゃみわLv.8は落ち易い fact5: そのぴにゃぴちょLv.41はえぐくて黄色い fact6: もし仮にえぐいモンスターが落ち易いならばそれは尊しない fact7: もしもあのぷにゅぷにょLv.65がえぐいならばこのみちゃみいLv.88は尊し fact8: そのぴにゃぴちょLv.41は物々しくてまた重々しい
fact1 & fact8 -> int1: あのぷにゅぷにょLv.65はえぐくない; int1 & fact2 -> int2: あのみちゃみわLv.8は落ち易くて尊し; int2 -> hypothesis;
fact1 & fact8 -> int1: ¬{B}{b}; int1 & fact2 -> int2: ({A}{c} & {C}{c}); int2 -> hypothesis;
あのみちゃみわLv.8は尊しない
fact9 -> int3: もしあのみちゃみわLv.8がえぐいし落ち易いならばあのみちゃみわLv.8は尊しない;
$facts$ = fact1: そのぴにゃぴちょLv.41が物々しいしその上それが重々しいとすればあのぷにゅぷにょLv.65はえぐくない fact2: もし仮にあのぷにゅぷにょLv.65がえぐくないとしたらあのみちゃみわLv.8は落ち易くて尊し fact3: そのぴにゃぴちょLv.41は物々しい fact4: もし仮にあのぷにゅぷにょLv.65がえぐくないならあのみちゃみわLv.8は落ち易い fact5: そのぴにゃぴちょLv.41はえぐくて黄色い fact6: もし仮にえぐいモンスターが落ち易いならばそれは尊しない fact7: もしもあのぷにゅぷにょLv.65がえぐいならばこのみちゃみいLv.88は尊し fact8: そのぴにゃぴちょLv.41は物々しくてまた重々しい ; $hypothesis$ = あのみちゃみわLv.8は尊し ; $proof$ = 
fact1 & fact8 -> int1: あのぷにゅぷにょLv.65はえぐくない; int1 & fact2 -> int2: あのみちゃみわLv.8は落ち易くて尊し; int2 -> hypothesis; __PROVED__
fact1 & fact8 -> int1: ¬{B}{b}; int1 & fact2 -> int2: ({A}{c} & {C}{c}); int2 -> hypothesis; __PROVED__