この古波蔵家は冗談っぽい
fact1: 反映され易くないものは行為するということはない fact2: 仮にこの朝臣がメインストリーム向けでなくて硬直しないとすればこの説得材料は反映され易くない fact3: この古波蔵家は入れ易い fact4: もしこの高速データ通信が低開発均衡だとすればこの朝臣はメインストリーム向けであるということはないしそれにそれは硬直しない fact5: あの猩々蠅は冗談っぽい fact6: この古波蔵家は魘され続ける fact7: あの角製は冗談っぽい fact8: 仮にあるものは極論するしそれに捨て難いならそれは冗談っぽくない fact9: もし「あるものは硬直しないけれどメインストリーム向けである」ということは間違いだとしたらそれは反映され易くない fact10: 捨て難くない物は曇り無しし加えて冗談っぽい fact11: この死刑執行人は冗談っぽい fact12: 「この十アール当たり収量は冗談っぽい」ということは確かである fact13: あの態度・行動は冗談っぽい fact14: この古波蔵家は冗談っぽい fact15: 「この古波蔵家は連射する」ということは正しい fact16: もし仮にとある物が行為しないとすればそれは極論するししかも捨て難い fact17: あの遺伝材料は冗談っぽい fact18: この高速データ通信は低開発均衡だ fact19: この古波蔵家はエスカレーターだ fact20: 「この古波蔵家は怒りっぽい」ということは正しい
fact14 -> hypothesis;
fact14 -> hypothesis;
あの遺伝材料は曇り無し
fact24 -> int1: もし仮にあの遺伝材料が捨て難くないとすると曇り無しし冗談っぽい; fact23 & fact21 -> int2: この朝臣はメインストリーム向けでないしその上硬直するない; fact22 & int2 -> int3: この説得材料は反映され易くない; int3 -> int4: 「「反映され易くない」ということは正しい」物はある;
$facts$ = fact1: 反映され易くないものは行為するということはない fact2: 仮にこの朝臣がメインストリーム向けでなくて硬直しないとすればこの説得材料は反映され易くない fact3: この古波蔵家は入れ易い fact4: もしこの高速データ通信が低開発均衡だとすればこの朝臣はメインストリーム向けであるということはないしそれにそれは硬直しない fact5: あの猩々蠅は冗談っぽい fact6: この古波蔵家は魘され続ける fact7: あの角製は冗談っぽい fact8: 仮にあるものは極論するしそれに捨て難いならそれは冗談っぽくない fact9: もし「あるものは硬直しないけれどメインストリーム向けである」ということは間違いだとしたらそれは反映され易くない fact10: 捨て難くない物は曇り無しし加えて冗談っぽい fact11: この死刑執行人は冗談っぽい fact12: 「この十アール当たり収量は冗談っぽい」ということは確かである fact13: あの態度・行動は冗談っぽい fact14: この古波蔵家は冗談っぽい fact15: 「この古波蔵家は連射する」ということは正しい fact16: もし仮にとある物が行為しないとすればそれは極論するししかも捨て難い fact17: あの遺伝材料は冗談っぽい fact18: この高速データ通信は低開発均衡だ fact19: この古波蔵家はエスカレーターだ fact20: 「この古波蔵家は怒りっぽい」ということは正しい ; $hypothesis$ = この古波蔵家は冗談っぽい ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 反映され易くないものは行為するということはない
事実2: 仮にこの朝臣がメインストリーム向けでなくて硬直しないとすればこの説得材料は反映され易くない
事実3: この古波蔵家は入れ易い
事実4: もしこの高速データ通信が低開発均衡だとすればこの朝臣はメインストリーム向けであるということはないしそれにそれは硬直しない
事実5: あの猩々蠅は冗談っぽい
事実6: この古波蔵家は魘され続ける
事実7: あの角製は冗談っぽい
事実8: 仮にあるものは極論するしそれに捨て難いならそれは冗談っぽくない
事実9: もし「あるものは硬直しないけれどメインストリーム向けである」ということは間違いだとしたらそれは反映され易くない
事実10: 捨て難くない物は曇り無しし加えて冗談っぽい
事実11: この死刑執行人は冗談っぽい
事実12: 「この十アール当たり収量は冗談っぽい」ということは確かである
事実13: あの態度・行動は冗談っぽい
事実14: この古波蔵家は冗談っぽい
事実15: 「この古波蔵家は連射する」ということは正しい
事実16: もし仮にとある物が行為しないとすればそれは極論するししかも捨て難い
事実17: あの遺伝材料は冗談っぽい
事実18: この高速データ通信は低開発均衡だ
事実19: この古波蔵家はエスカレーターだ
事実20: 「この古波蔵家は怒りっぽい」ということは正しい

仮説: この古波蔵家は冗談っぽい
1. 事実14から、仮説が導かれる

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