あの原材料Ｃは荒い
fact1: その証券会社は周遊するということはないならば「あの原材料Ｃは独り言するしさらに荒い」ということは成り立たない fact2: あの原材料Ｃはだらし無い fact3: この三十一席は荒い fact4: あの原材料Ｃは水泡だ fact5: その記入欄は荒い fact6: あの二υは荒い fact7: そのクリアタイプは荒い fact8: その保存方法が周遊するかあるいはそれが炭火焼き肉であるか両方ともであるならその証券会社は周遊するということはない fact9: あの原材料Ｃは弛い fact10: あの原材料Ｃは繰り替える fact11: 仮にこの氾濫原が独り言するとするとそれは周遊する fact12: あの通天閣は荒い fact13: この藤田君は荒い fact14: この中屋敷は荒い fact15: あの原材料Ｃは行儀良い fact16: 「あの原材料Ｃは特許侵害製品だ」ということは事実である fact17: あの原材料Ｃは荒い fact18: もし「なにがしかの物は独り言するしそれに荒い」ということは成り立たないなら「荒くない」ということは成り立つ fact19: 仮にとある物が周遊するとしたら荒い fact20: あの原材料Ｃは先刻御承知である
fact17 -> hypothesis;
fact17 -> hypothesis;
あの原材料Ｃは荒くない
fact21 -> int1: もしも「あの原材料Ｃは独り言するしおまけに荒い」ということは間違っていればそれは荒くない;
$facts$ = fact1: その証券会社は周遊するということはないならば「あの原材料Ｃは独り言するしさらに荒い」ということは成り立たない fact2: あの原材料Ｃはだらし無い fact3: この三十一席は荒い fact4: あの原材料Ｃは水泡だ fact5: その記入欄は荒い fact6: あの二υは荒い fact7: そのクリアタイプは荒い fact8: その保存方法が周遊するかあるいはそれが炭火焼き肉であるか両方ともであるならその証券会社は周遊するということはない fact9: あの原材料Ｃは弛い fact10: あの原材料Ｃは繰り替える fact11: 仮にこの氾濫原が独り言するとするとそれは周遊する fact12: あの通天閣は荒い fact13: この藤田君は荒い fact14: この中屋敷は荒い fact15: あの原材料Ｃは行儀良い fact16: 「あの原材料Ｃは特許侵害製品だ」ということは事実である fact17: あの原材料Ｃは荒い fact18: もし「なにがしかの物は独り言するしそれに荒い」ということは成り立たないなら「荒くない」ということは成り立つ fact19: 仮にとある物が周遊するとしたら荒い fact20: あの原材料Ｃは先刻御承知である ; $hypothesis$ = あの原材料Ｃは荒い ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: その証券会社は周遊するということはないならば「あの原材料Ｃは独り言するしさらに荒い」ということは成り立たない
事実2: あの原材料Ｃはだらし無い
事実3: この三十一席は荒い
事実4: あの原材料Ｃは水泡だ
事実5: その記入欄は荒い
事実6: あの二υは荒い
事実7: そのクリアタイプは荒い
事実8: その保存方法が周遊するかあるいはそれが炭火焼き肉であるか両方ともであるならその証券会社は周遊するということはない
事実9: あの原材料Ｃは弛い
事実10: あの原材料Ｃは繰り替える
事実11: 仮にこの氾濫原が独り言するとするとそれは周遊する
事実12: あの通天閣は荒い
事実13: この藤田君は荒い
事実14: この中屋敷は荒い
事実15: あの原材料Ｃは行儀良い
事実16: 「あの原材料Ｃは特許侵害製品だ」ということは事実である
事実17: あの原材料Ｃは荒い
事実18: もし「なにがしかの物は独り言するしそれに荒い」ということは成り立たないなら「荒くない」ということは成り立つ
事実19: 仮にとある物が周遊するとしたら荒い
事実20: あの原材料Ｃは先刻御承知である

仮説: あの原材料Ｃは荒い
1. 事実17から、仮説が導かれる

よって、仮説が証明されました。