その中止命令は法灯でない
fact1: そのブック・レビューは鋳る fact2: その中止命令は提言する fact3: その中止命令は誇りっぽい fact4: もし「ある物は法灯でない」ということは正しいとしたらその肥満傾向は蛙男だ fact5: その中止命令は悔しいし更にそれは保険料利用料負担軽減である fact6: その中止命令は法灯であるし蛙男である fact7: あの手形訴訟は蛙男だ fact8: その中止命令は十二月中旬である fact9: このイエス像は法灯だ fact10: このＥＮＤは法灯だ fact11: その千二百万円以下は法灯である fact12: 「この催眠中は蛙男である」ということは成り立つ
fact6 -> hypothesis;
fact6 -> hypothesis;
その中止命令は法灯でない
fact13 -> int1: 「鋳る」ものはある;
$facts$ = fact1: そのブック・レビューは鋳る fact2: その中止命令は提言する fact3: その中止命令は誇りっぽい fact4: もし「ある物は法灯でない」ということは正しいとしたらその肥満傾向は蛙男だ fact5: その中止命令は悔しいし更にそれは保険料利用料負担軽減である fact6: その中止命令は法灯であるし蛙男である fact7: あの手形訴訟は蛙男だ fact8: その中止命令は十二月中旬である fact9: このイエス像は法灯だ fact10: このＥＮＤは法灯だ fact11: その千二百万円以下は法灯である fact12: 「この催眠中は蛙男である」ということは成り立つ ; $hypothesis$ = その中止命令は法灯でない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: そのブック・レビューは鋳る
事実2: その中止命令は提言する
事実3: その中止命令は誇りっぽい
事実4: もし「ある物は法灯でない」ということは正しいとしたらその肥満傾向は蛙男だ
事実5: その中止命令は悔しいし更にそれは保険料利用料負担軽減である
事実6: その中止命令は法灯であるし蛙男である
事実7: あの手形訴訟は蛙男だ
事実8: その中止命令は十二月中旬である
事実9: このイエス像は法灯だ
事実10: このＥＮＤは法灯だ
事実11: その千二百万円以下は法灯である
事実12: 「この催眠中は蛙男である」ということは成り立つ

仮説: その中止命令は法灯でない
1. 事実6から、仮説が否定される

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