この剰余金は御強い一方でそれは飛び乗らない
fact1: もし仮に何かは掻き合わせないなら吸うしおまけに引き起こし易い fact2: あの設定結果は御強いということはない fact3: この剰余金は銅山だけれど高度化しない fact4: この剰余金は飛び乗らない fact5: この文字パターンは起こし易い一方で配分方法でない fact6: 「この捕虜虐待は御強くない」ということは成り立つ fact7: この剰余金は下部組織でない fact8: この剰余金は企業間情報ネットワークでない fact9: もしもなんらかの物が吸うとするとそれは御強くなくてかつそれは実現し易い fact10: 「この剰余金は御強い」ということは事実である fact11: この剰余金は学習計画である fact12: この剰余金は非難がましいがしかしそれは粉っぽくない fact13: この平凡は御強い fact14: このコントは飛び乗らない fact15: この職務内容は飛び乗らない fact16: この剰余金は冗談ぽい fact17: この剰余金は厳いがしかしそれは面倒臭いということはない fact18: 「「三叉路であるししかも翼竜だ」ということは成り立たない」ものはある
fact10 & fact4 -> hypothesis;
このダイオキシン類は飛び乗る
fact21 -> int1: もし仮にこの剰余金が吸うならそれは御強くないけれど実現し易い; fact20 -> int2: もし仮にこの剰余金が掻き合わせないとすればそれは吸うしそれは引き起こし易い;
$facts$ = fact1: もし仮に何かは掻き合わせないなら吸うしおまけに引き起こし易い fact2: あの設定結果は御強いということはない fact3: この剰余金は銅山だけれど高度化しない fact4: この剰余金は飛び乗らない fact5: この文字パターンは起こし易い一方で配分方法でない fact6: 「この捕虜虐待は御強くない」ということは成り立つ fact7: この剰余金は下部組織でない fact8: この剰余金は企業間情報ネットワークでない fact9: もしもなんらかの物が吸うとするとそれは御強くなくてかつそれは実現し易い fact10: 「この剰余金は御強い」ということは事実である fact11: この剰余金は学習計画である fact12: この剰余金は非難がましいがしかしそれは粉っぽくない fact13: この平凡は御強い fact14: このコントは飛び乗らない fact15: この職務内容は飛び乗らない fact16: この剰余金は冗談ぽい fact17: この剰余金は厳いがしかしそれは面倒臭いということはない fact18: 「「三叉路であるししかも翼竜だ」ということは成り立たない」ものはある ; $hypothesis$ = この剰余金は御強い一方でそれは飛び乗らない ; $proof$ = 
fact10 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に何かは掻き合わせないなら吸うしおまけに引き起こし易い
事実2: あの設定結果は御強いということはない
事実3: この剰余金は銅山だけれど高度化しない
事実4: この剰余金は飛び乗らない
事実5: この文字パターンは起こし易い一方で配分方法でない
事実6: 「この捕虜虐待は御強くない」ということは成り立つ
事実7: この剰余金は下部組織でない
事実8: この剰余金は企業間情報ネットワークでない
事実9: もしもなんらかの物が吸うとするとそれは御強くなくてかつそれは実現し易い
事実10: 「この剰余金は御強い」ということは事実である
事実11: この剰余金は学習計画である
事実12: この剰余金は非難がましいがしかしそれは粉っぽくない
事実13: この平凡は御強い
事実14: このコントは飛び乗らない
事実15: この職務内容は飛び乗らない
事実16: この剰余金は冗談ぽい
事実17: この剰余金は厳いがしかしそれは面倒臭いということはない
事実18: 「「三叉路であるししかも翼竜だ」ということは成り立たない」ものはある

仮説: この剰余金は御強い一方でそれは飛び乗らない
1. 事実10と事実4から、仮説が導かれる

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