「「踏み消す」ものはある」ということは事実と異なる
fact1: もし仮にその大磯方面が罹患し易いならその企業結合ガイドラインは有るらしい fact2: このＥＲＣＰは許し難い fact3: もしも何らかのものは有るらしいならば「承る」ということは真実である fact4: 危うしものは辞書形だ fact5: もしこのＥＲＣＰが許し難いならば認識不足だ fact6: このＥＲＣＰが認識不足であるならばその大磯方面は罹患し易い fact7: もし仮にその大磯方面は承るなら「それは罹患し易いということはないけれど有るらしい」ということは嘘だ fact8: もしも何らかのものが承れば踏み消す fact9: 仮になんらかの物は許し難いならば「みっともない」ということは確かだ fact10: 罹患し易い物は許し難い fact11: 「認識不足は許し難い」ということは確かだ
fact5 & fact2 -> int1: このＥＲＣＰは認識不足だ; int1 & fact6 -> int2: その大磯方面は罹患し易い; int2 & fact1 -> int3: その企業結合ガイドラインは有るらしい; fact3 -> int4: もし仮にその企業結合ガイドラインが有るらしいとすれば承る; int3 & int4 -> int5: その企業結合ガイドラインは承る; fact8 -> int6: もし仮にその企業結合ガイドラインが承るとしたら踏み消す; int5 & int6 -> int7: 「その企業結合ガイドラインは踏み消す」ということは間違いでない; int7 -> hypothesis;
その大磯方面はみっともない
fact13 -> int8: その大磯方面が許し難いとしたらそれはみっともない; fact12 -> int9: 仮にその大磯方面は認識不足であるとするとそれは許し難い;
$facts$ = fact1: もし仮にその大磯方面が罹患し易いならその企業結合ガイドラインは有るらしい fact2: このＥＲＣＰは許し難い fact3: もしも何らかのものは有るらしいならば「承る」ということは真実である fact4: 危うしものは辞書形だ fact5: もしこのＥＲＣＰが許し難いならば認識不足だ fact6: このＥＲＣＰが認識不足であるならばその大磯方面は罹患し易い fact7: もし仮にその大磯方面は承るなら「それは罹患し易いということはないけれど有るらしい」ということは嘘だ fact8: もしも何らかのものが承れば踏み消す fact9: 仮になんらかの物は許し難いならば「みっともない」ということは確かだ fact10: 罹患し易い物は許し難い fact11: 「認識不足は許し難い」ということは確かだ ; $hypothesis$ = 「「踏み消す」ものはある」ということは事実と異なる ; $proof$ = 
fact5 & fact2 -> int1: このＥＲＣＰは認識不足だ; int1 & fact6 -> int2: その大磯方面は罹患し易い; int2 & fact1 -> int3: その企業結合ガイドラインは有るらしい; fact3 -> int4: もし仮にその企業結合ガイドラインが有るらしいとすれば承る; int3 & int4 -> int5: その企業結合ガイドラインは承る; fact8 -> int6: もし仮にその企業結合ガイドラインが承るとしたら踏み消す; int5 & int6 -> int7: 「その企業結合ガイドラインは踏み消す」ということは間違いでない; int7 -> hypothesis; __DISPROVED__
事実1: もし仮にその大磯方面が罹患し易いならその企業結合ガイドラインは有るらしい
事実2: このＥＲＣＰは許し難い
事実3: もしも何らかのものは有るらしいならば「承る」ということは真実である
事実4: 危うしものは辞書形だ
事実5: もしこのＥＲＣＰが許し難いならば認識不足だ
事実6: このＥＲＣＰが認識不足であるならばその大磯方面は罹患し易い
事実7: もし仮にその大磯方面は承るなら「それは罹患し易いということはないけれど有るらしい」ということは嘘だ
事実8: もしも何らかのものが承れば踏み消す
事実9: 仮になんらかの物は許し難いならば「みっともない」ということは確かだ
事実10: 罹患し易い物は許し難い
事実11: 「認識不足は許し難い」ということは確かだ

仮説: 「「踏み消す」ものはある」ということは事実と異なる
1. 事実5と事実2から、推論1: "このＥＲＣＰは認識不足だ"が導かれる
2. 推論1と事実6から、推論2: "その大磯方面は罹患し易い"が導かれる
3. 推論2と事実1から、推論3: "その企業結合ガイドラインは有るらしい"が導かれる
4. 事実3から、推論4: "もし仮にその企業結合ガイドラインが有るらしいとすれば承る"が導かれる
5. 推論3と推論4から、推論5: "その企業結合ガイドラインは承る"が導かれる
6. 事実8から、推論6: "もし仮にその企業結合ガイドラインが承るとしたら踏み消す"が導かれる
7. 推論5と推論6から、推論7: "「その企業結合ガイドラインは踏み消す」ということは間違いでない"が導かれる
8. 推論7から、仮説が否定される

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