この突合はけたたましい
fact1: もしなにかは烏帽子ガイだとしたら「浴び始めないし更にそれは掛け易い」ということは偽だ fact2: この突合は掛け易い fact3: 「この突合は重大さである」ということは事実だ fact4: もし仮に「なんらかの物は重大さだし掛け易い」ということは事実であるとしたらけたたましくない fact5: もし仮にこのケーソンがけたたましくないしそれに重大さでないならこの突合はけたたましい fact6: なんらかのものが住民個人だしその上それが比較検討するなら湯桶野郎でない fact7: もしもその総領事館が浴び始めるということはないとするとそれはけたたましいしおまけに掛け易い
fact3 & fact2 -> int1: この突合は重大さでおまけにそれは掛け易い; fact4 -> int2: 仮にこの突合は重大さであるし加えて掛け易いならばけたたましくない; int1 & int2 -> hypothesis;
「この突合はけたたましい」ということは本当である
fact9 -> int3: もしあの革製品は烏帽子ガイだとすれば「浴び始めないしおまけにそれは掛け易い」ということは誤っている;
$facts$ = fact1: もしなにかは烏帽子ガイだとしたら「浴び始めないし更にそれは掛け易い」ということは偽だ fact2: この突合は掛け易い fact3: 「この突合は重大さである」ということは事実だ fact4: もし仮に「なんらかの物は重大さだし掛け易い」ということは事実であるとしたらけたたましくない fact5: もし仮にこのケーソンがけたたましくないしそれに重大さでないならこの突合はけたたましい fact6: なんらかのものが住民個人だしその上それが比較検討するなら湯桶野郎でない fact7: もしもその総領事館が浴び始めるということはないとするとそれはけたたましいしおまけに掛け易い ; $hypothesis$ = この突合はけたたましい ; $proof$ = 
fact3 & fact2 -> int1: この突合は重大さでおまけにそれは掛け易い; fact4 -> int2: 仮にこの突合は重大さであるし加えて掛け易いならばけたたましくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなにかは烏帽子ガイだとしたら「浴び始めないし更にそれは掛け易い」ということは偽だ
事実2: この突合は掛け易い
事実3: 「この突合は重大さである」ということは事実だ
事実4: もし仮に「なんらかの物は重大さだし掛け易い」ということは事実であるとしたらけたたましくない
事実5: もし仮にこのケーソンがけたたましくないしそれに重大さでないならこの突合はけたたましい
事実6: なんらかのものが住民個人だしその上それが比較検討するなら湯桶野郎でない
事実7: もしもその総領事館が浴び始めるということはないとするとそれはけたたましいしおまけに掛け易い

仮説: この突合はけたたましい
1. 事実3と事実2から、推論1: "この突合は重大さでおまけにそれは掛け易い"が導かれる
2. 事実4から、推論2: "仮にこの突合は重大さであるし加えて掛け易いならばけたたましくない"が導かれる
3. 推論1と推論2から、仮説が否定される

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