そのリーガルは弁別するということはない
fact1: そのリーガルは残す fact2: そのリーガルは弁別する fact3: そのリーガルは納得し易い fact4: そのリーガルは洞窟願望である fact5: もしとある物が辛いならブロンズである fact6: そのリーガルは腐敗する fact7: その毎日は弁別する fact8: この消費貸借は弁別する fact9: その女系社会は弁別する fact10: この放射線画像は弁別する fact11: その式典等は弁別する
fact2 -> hypothesis;
fact2 -> hypothesis;
このシモンエスは弁別する
fact12 -> int1: もしもそのリーガルが辛いならばそれはブロンズである;
$facts$ = fact1: そのリーガルは残す fact2: そのリーガルは弁別する fact3: そのリーガルは納得し易い fact4: そのリーガルは洞窟願望である fact5: もしとある物が辛いならブロンズである fact6: そのリーガルは腐敗する fact7: その毎日は弁別する fact8: この消費貸借は弁別する fact9: その女系社会は弁別する fact10: この放射線画像は弁別する fact11: その式典等は弁別する ; $hypothesis$ = そのリーガルは弁別するということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: そのリーガルは残す
事実2: そのリーガルは弁別する
事実3: そのリーガルは納得し易い
事実4: そのリーガルは洞窟願望である
事実5: もしとある物が辛いならブロンズである
事実6: そのリーガルは腐敗する
事実7: その毎日は弁別する
事実8: この消費貸借は弁別する
事実9: その女系社会は弁別する
事実10: この放射線画像は弁別する
事実11: その式典等は弁別する

仮説: そのリーガルは弁別するということはない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。