あのハンチ部分は雷除けである
fact1: あのハンチ部分は学び取る fact2: あの礼拝者は憎たらしい fact3: とあるものは盛衰でないしおまけに秀逸でないとすれば市販しない fact4: もし仮にあのハンチ部分は市販しないとすれば「それは秀逸でないかまたは盛衰であるかどちらもだ」ということは誤りである fact5: もし憎たらしい物が半回転するならそれは市販するということはない fact6: 「もしもあのハンチ部分が太いし待ち遠しいとするとあのハンチ部分は雷除けでない」ということは成り立つ fact7: もし仮にとあるものは混入し易いとすると「それは雷除けでないしさらに半回転しない」ということは成り立たない fact8: あのハンチ部分は変え始める fact9: あのハンチ部分は半回転するがしかし混入し易くない fact10: もし仮に「「この平滑系舗装は雷除けでないしそれは半回転しない」ということは誤りである」ということは成り立つならあのハンチ部分は雷除けである fact11: あのハンチ部分は憎たらしい fact12: もしもあのドキュメンタリー番組は待ち遠しくないならば「盛衰でないしかつそれは秀逸でない」ということは誤っていない fact13: あのハンチ部分は太い fact14: もし「あのハンチ部分は秀逸でないかもしくは盛衰だ」ということは成り立たないとするとそれは待ち遠しい fact15: あの蘭学者は太くて美味しい fact16: 仮になんらかの物が憎たらしいとすれば尤もらしい
fact9 -> int1: あのハンチ部分は半回転する; int1 & fact11 -> int2: あのハンチ部分は憎たらしくて加えてそれは半回転する; fact5 -> int3: 仮にあのハンチ部分が憎たらしいししかもそれが半回転するとすると市販しない; int2 & int3 -> int4: あのハンチ部分は市販しない; int4 & fact4 -> int5: 「あのハンチ部分は秀逸だということはないか盛衰であるかあるいは両方だ」ということは嘘だ; int5 & fact14 -> int6: 「あのハンチ部分は待ち遠しい」ということは事実である; int6 & fact13 -> int7: あのハンチ部分は太いしかつ待ち遠しい; int7 & fact6 -> hypothesis;
「そのマティアス・バイスは尤もらしいしチェンジアップだ」ということは本当である
fact17 -> int8: もし仮にそのマティアス・バイスが憎たらしいとすればそれは尤もらしい;
$facts$ = fact1: あのハンチ部分は学び取る fact2: あの礼拝者は憎たらしい fact3: とあるものは盛衰でないしおまけに秀逸でないとすれば市販しない fact4: もし仮にあのハンチ部分は市販しないとすれば「それは秀逸でないかまたは盛衰であるかどちらもだ」ということは誤りである fact5: もし憎たらしい物が半回転するならそれは市販するということはない fact6: 「もしもあのハンチ部分が太いし待ち遠しいとするとあのハンチ部分は雷除けでない」ということは成り立つ fact7: もし仮にとあるものは混入し易いとすると「それは雷除けでないしさらに半回転しない」ということは成り立たない fact8: あのハンチ部分は変え始める fact9: あのハンチ部分は半回転するがしかし混入し易くない fact10: もし仮に「「この平滑系舗装は雷除けでないしそれは半回転しない」ということは誤りである」ということは成り立つならあのハンチ部分は雷除けである fact11: あのハンチ部分は憎たらしい fact12: もしもあのドキュメンタリー番組は待ち遠しくないならば「盛衰でないしかつそれは秀逸でない」ということは誤っていない fact13: あのハンチ部分は太い fact14: もし「あのハンチ部分は秀逸でないかもしくは盛衰だ」ということは成り立たないとするとそれは待ち遠しい fact15: あの蘭学者は太くて美味しい fact16: 仮になんらかの物が憎たらしいとすれば尤もらしい ; $hypothesis$ = あのハンチ部分は雷除けである ; $proof$ = 
fact9 -> int1: あのハンチ部分は半回転する; int1 & fact11 -> int2: あのハンチ部分は憎たらしくて加えてそれは半回転する; fact5 -> int3: 仮にあのハンチ部分が憎たらしいししかもそれが半回転するとすると市販しない; int2 & int3 -> int4: あのハンチ部分は市販しない; int4 & fact4 -> int5: 「あのハンチ部分は秀逸だということはないか盛衰であるかあるいは両方だ」ということは嘘だ; int5 & fact14 -> int6: 「あのハンチ部分は待ち遠しい」ということは事実である; int6 & fact13 -> int7: あのハンチ部分は太いしかつ待ち遠しい; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: あのハンチ部分は学び取る
事実2: あの礼拝者は憎たらしい
事実3: とあるものは盛衰でないしおまけに秀逸でないとすれば市販しない
事実4: もし仮にあのハンチ部分は市販しないとすれば「それは秀逸でないかまたは盛衰であるかどちらもだ」ということは誤りである
事実5: もし憎たらしい物が半回転するならそれは市販するということはない
事実6: 「もしもあのハンチ部分が太いし待ち遠しいとするとあのハンチ部分は雷除けでない」ということは成り立つ
事実7: もし仮にとあるものは混入し易いとすると「それは雷除けでないしさらに半回転しない」ということは成り立たない
事実8: あのハンチ部分は変え始める
事実9: あのハンチ部分は半回転するがしかし混入し易くない
事実10: もし仮に「「この平滑系舗装は雷除けでないしそれは半回転しない」ということは誤りである」ということは成り立つならあのハンチ部分は雷除けである
事実11: あのハンチ部分は憎たらしい
事実12: もしもあのドキュメンタリー番組は待ち遠しくないならば「盛衰でないしかつそれは秀逸でない」ということは誤っていない
事実13: あのハンチ部分は太い
事実14: もし「あのハンチ部分は秀逸でないかもしくは盛衰だ」ということは成り立たないとするとそれは待ち遠しい
事実15: あの蘭学者は太くて美味しい
事実16: 仮になんらかの物が憎たらしいとすれば尤もらしい

仮説: あのハンチ部分は雷除けである
1. 事実9から、推論1: "あのハンチ部分は半回転する"が導かれる
2. 推論1と事実11から、推論2: "あのハンチ部分は憎たらしくて加えてそれは半回転する"が導かれる
3. 事実5から、推論3: "仮にあのハンチ部分が憎たらしいししかもそれが半回転するとすると市販しない"が導かれる
4. 推論2と推論3から、推論4: "あのハンチ部分は市販しない"が導かれる
5. 推論4と事実4から、推論5: "「あのハンチ部分は秀逸だということはないか盛衰であるかあるいは両方だ」ということは嘘だ"が導かれる
6. 推論5と事実14から、推論6: "「あのハンチ部分は待ち遠しい」ということは事実である"が導かれる
7. 推論6と事実13から、推論7: "あのハンチ部分は太いしかつ待ち遠しい"が導かれる
8. 推論7と事実6から、仮説が否定される

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