その成立期は概説しない
fact1: 太しないものは踊り出すし消化器系だ fact2: その成立期が踊り出すということはないしさらに消化器系であるということはない fact3: もしもとある物が踊り出さないとするとそれは概説するし太し fact4: もし仮にそのスポーク状は満つなら「それは煩い」ということは真実である fact5: その成立期は太し fact6: 仮にそのスポーク状が煩いならばあのホリデイ・インは自己修正だがそれは踊り出さない fact7: もし仮にその成立期が踊り出さないとするとそれは太し fact8: もしなんらかの物が踊り出さないならそれは太し fact9: 仮にとあるものが踊り出すとするとそれは問われ兼ねらないかあるいは消化器系である fact10: もしもその文意が労労じないとしたら踊り出すしおまけに人足達である fact11: あのホリデイ・インが自己修正だが踊り出すということはないとしたらその成立期は踊り出す fact12: その成立期が問われ兼ねらないかまたは消化器系であるか両方ともであるとしたらあのスナックは問われ兼ねらない fact13: もしも「この街中が消化器系だしかつ踊り出す」ということは本当でないとしたらその成立期は概説しない fact14: その成立期は消化器系でない
fact2 -> int1: その成立期は踊り出さない; fact3 -> int2: もしもその成立期が踊り出すということはないとすれば概説するしさらに太し; int1 & int2 -> int3: その成立期は概説するし太し; int3 -> hypothesis;
fact2 -> int1: ¬{A}{a}; fact3 -> int2: ¬{A}{a} -> ({D}{a} & {C}{a}); int1 & int2 -> int3: ({D}{a} & {C}{a}); int3 -> hypothesis;
その成立期は概説しない
$facts$ = fact1: 太しないものは踊り出すし消化器系だ fact2: その成立期が踊り出すということはないしさらに消化器系であるということはない fact3: もしもとある物が踊り出さないとするとそれは概説するし太し fact4: もし仮にそのスポーク状は満つなら「それは煩い」ということは真実である fact5: その成立期は太し fact6: 仮にそのスポーク状が煩いならばあのホリデイ・インは自己修正だがそれは踊り出さない fact7: もし仮にその成立期が踊り出さないとするとそれは太し fact8: もしなんらかの物が踊り出さないならそれは太し fact9: 仮にとあるものが踊り出すとするとそれは問われ兼ねらないかあるいは消化器系である fact10: もしもその文意が労労じないとしたら踊り出すしおまけに人足達である fact11: あのホリデイ・インが自己修正だが踊り出すということはないとしたらその成立期は踊り出す fact12: その成立期が問われ兼ねらないかまたは消化器系であるか両方ともであるとしたらあのスナックは問われ兼ねらない fact13: もしも「この街中が消化器系だしかつ踊り出す」ということは本当でないとしたらその成立期は概説しない fact14: その成立期は消化器系でない ; $hypothesis$ = その成立期は概説しない ; $proof$ = 
fact2 -> int1: その成立期は踊り出さない; fact3 -> int2: もしもその成立期が踊り出すということはないとすれば概説するしさらに太し; int1 & int2 -> int3: その成立期は概説するし太し; int3 -> hypothesis; __DISPROVED__
事実1: 太しないものは踊り出すし消化器系だ
事実2: その成立期が踊り出すということはないしさらに消化器系であるということはない
事実3: もしもとある物が踊り出さないとするとそれは概説するし太し
事実4: もし仮にそのスポーク状は満つなら「それは煩い」ということは真実である
事実5: その成立期は太し
事実6: 仮にそのスポーク状が煩いならばあのホリデイ・インは自己修正だがそれは踊り出さない
事実7: もし仮にその成立期が踊り出さないとするとそれは太し
事実8: もしなんらかの物が踊り出さないならそれは太し
事実9: 仮にとあるものが踊り出すとするとそれは問われ兼ねらないかあるいは消化器系である
事実10: もしもその文意が労労じないとしたら踊り出すしおまけに人足達である
事実11: あのホリデイ・インが自己修正だが踊り出すということはないとしたらその成立期は踊り出す
事実12: その成立期が問われ兼ねらないかまたは消化器系であるか両方ともであるとしたらあのスナックは問われ兼ねらない
事実13: もしも「この街中が消化器系だしかつ踊り出す」ということは本当でないとしたらその成立期は概説しない
事実14: その成立期は消化器系でない

仮説: その成立期は概説しない
1. 事実2から、推論1: "その成立期は踊り出さない"が導かれる
2. 事実3から、推論2: "もしもその成立期が踊り出すということはないとすれば概説するしさらに太し"が導かれる
3. 推論1と推論2から、推論3: "その成立期は概説するし太し"が導かれる
4. 推論3から、仮説が否定される

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