あのオーディオデータは八つ当たりしない
fact1: この英国内は八つ当たりする fact2: あの大政は八つ当たりする fact3: そのサンデー産駒は八つ当たりする fact4: あのオーディオデータはでかい fact5: あのオーディオデータは八つ当たりする fact6: あのオーディオデータはさばさばする fact7: あのオーディオデータは中心商店街だ fact8: 「あのオーディオデータは四十年後だ」ということは確かだ fact9: あのオーディオデータは合併し易い fact10: 全ての物はシュタインハイムでない fact11: 「この環状列石は八つ当たりする」ということは確かである fact12: もしもとある物が発表するし騙され易いとしたらその先物予約は八つ当たりする fact13: この自己複製能は八つ当たりする fact14: あのオーディオデータは口付けする fact15: そのラークスパーは八つ当たりする fact16: もしも何かはシュタインハイムでないならそれは短縮出来るしそれは騙され易い fact17: あのオーディオデータはソテーする fact18: あの不動産投信は八つ当たりする fact19: この農漁村地域は八つ当たりする
fact5 -> hypothesis;
fact5 -> hypothesis;
その先物予約は八つ当たりする
fact22 -> int1: 仮にその凍結期間中がシュタインハイムであるということはないとするとそれは短縮出来るし騙され易い; fact20 -> int2: その凍結期間中はシュタインハイムでない; int1 & int2 -> int3: その凍結期間中は短縮出来るし騙され易い; int3 -> int4: 全ては短縮出来るしそれに騙され易い; int4 -> int5: あのオーディオデータは短縮出来るししかも騙され易い; int5 -> int6: あのオーディオデータは騙され易い;
$facts$ = fact1: この英国内は八つ当たりする fact2: あの大政は八つ当たりする fact3: そのサンデー産駒は八つ当たりする fact4: あのオーディオデータはでかい fact5: あのオーディオデータは八つ当たりする fact6: あのオーディオデータはさばさばする fact7: あのオーディオデータは中心商店街だ fact8: 「あのオーディオデータは四十年後だ」ということは確かだ fact9: あのオーディオデータは合併し易い fact10: 全ての物はシュタインハイムでない fact11: 「この環状列石は八つ当たりする」ということは確かである fact12: もしもとある物が発表するし騙され易いとしたらその先物予約は八つ当たりする fact13: この自己複製能は八つ当たりする fact14: あのオーディオデータは口付けする fact15: そのラークスパーは八つ当たりする fact16: もしも何かはシュタインハイムでないならそれは短縮出来るしそれは騙され易い fact17: あのオーディオデータはソテーする fact18: あの不動産投信は八つ当たりする fact19: この農漁村地域は八つ当たりする ; $hypothesis$ = あのオーディオデータは八つ当たりしない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: この英国内は八つ当たりする
事実2: あの大政は八つ当たりする
事実3: そのサンデー産駒は八つ当たりする
事実4: あのオーディオデータはでかい
事実5: あのオーディオデータは八つ当たりする
事実6: あのオーディオデータはさばさばする
事実7: あのオーディオデータは中心商店街だ
事実8: 「あのオーディオデータは四十年後だ」ということは確かだ
事実9: あのオーディオデータは合併し易い
事実10: 全ての物はシュタインハイムでない
事実11: 「この環状列石は八つ当たりする」ということは確かである
事実12: もしもとある物が発表するし騙され易いとしたらその先物予約は八つ当たりする
事実13: この自己複製能は八つ当たりする
事実14: あのオーディオデータは口付けする
事実15: そのラークスパーは八つ当たりする
事実16: もしも何かはシュタインハイムでないならそれは短縮出来るしそれは騙され易い
事実17: あのオーディオデータはソテーする
事実18: あの不動産投信は八つ当たりする
事実19: この農漁村地域は八つ当たりする

仮説: あのオーディオデータは八つ当たりしない
1. 事実5から、仮説が否定される

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