そのバス・スイッチは済ま無くない
fact1: もし仮にこの正規曲線下が儚しとしたらそのバス・スイッチは済ま無い fact2: もし仮になんらかの物が長いとすればそれは済ま無くない fact3: 仮にこの炎焼き入れが長いならばそのバス・スイッチは長い fact4: もしも何らかの物が長いということはないかまたは編製しないかどちらもならばこの炎焼き入れは仕送りしない fact5: もし「あの鍵束は仕送りするかあるいは共鳴し易い」ということは成り立たないとしたら「あの室町幕府は聞き合わない」ということは本当である fact6: もし仮にあの室町幕府が聞き合わないとするとこの正規曲線下は捕獲するし儚し fact7: もしもこの炎焼き入れは仕送りするということはないなら「あの鍵束は仕送りしない」ということは本当である fact8: この災害発生時は指定地でその上長い fact9: とある物は長くないかもしくは編製しないかもしくは両方ともである fact10: 仮に「あの鍵束は済ま無くない」ということは成り立つならそのバス・スイッチは共鳴し易いしおまけに儚し fact11: この正規曲線下は捕獲する fact12: あの鍵束は仕送りしない fact13: もしこの炎焼き入れは仕送りしないとすると「あの鍵束は仕送りするかあるいはそれは共鳴し易いかまたはどちらもだ」ということは嘘である fact14: もしもなにがしかのものが共鳴し易いししかもそれが聞き合うならあの鍵束は仕送りする fact15: 「長くないかあるいは編製するかもしくは両方である」物はある fact16: もしも「なにがしかのものは編製しない」ということは成り立つとすると「この炎焼き入れは仕送りしない」ということは事実である fact17: もし仮にこの正規曲線下が仕送りするということはないならこの炎焼き入れは儚し
fact9 & fact4 -> int1: この炎焼き入れは仕送りしない; int1 & fact13 -> int2: 「あの鍵束は仕送りするかそれは共鳴し易いか両方だ」ということは成り立たない; int2 & fact5 -> int3: 「あの室町幕府は聞き合わない」ということは真実である; int3 & fact6 -> int4: この正規曲線下は捕獲するしかつ儚し; int4 -> int5: この正規曲線下は儚し; int5 & fact1 -> hypothesis;
そのバス・スイッチは済ま無くない
fact19 -> int6: もし仮にそのバス・スイッチが長いとしたら済ま無くない;
$facts$ = fact1: もし仮にこの正規曲線下が儚しとしたらそのバス・スイッチは済ま無い fact2: もし仮になんらかの物が長いとすればそれは済ま無くない fact3: 仮にこの炎焼き入れが長いならばそのバス・スイッチは長い fact4: もしも何らかの物が長いということはないかまたは編製しないかどちらもならばこの炎焼き入れは仕送りしない fact5: もし「あの鍵束は仕送りするかあるいは共鳴し易い」ということは成り立たないとしたら「あの室町幕府は聞き合わない」ということは本当である fact6: もし仮にあの室町幕府が聞き合わないとするとこの正規曲線下は捕獲するし儚し fact7: もしもこの炎焼き入れは仕送りするということはないなら「あの鍵束は仕送りしない」ということは本当である fact8: この災害発生時は指定地でその上長い fact9: とある物は長くないかもしくは編製しないかもしくは両方ともである fact10: 仮に「あの鍵束は済ま無くない」ということは成り立つならそのバス・スイッチは共鳴し易いしおまけに儚し fact11: この正規曲線下は捕獲する fact12: あの鍵束は仕送りしない fact13: もしこの炎焼き入れは仕送りしないとすると「あの鍵束は仕送りするかあるいはそれは共鳴し易いかまたはどちらもだ」ということは嘘である fact14: もしもなにがしかのものが共鳴し易いししかもそれが聞き合うならあの鍵束は仕送りする fact15: 「長くないかあるいは編製するかもしくは両方である」物はある fact16: もしも「なにがしかのものは編製しない」ということは成り立つとすると「この炎焼き入れは仕送りしない」ということは事実である fact17: もし仮にこの正規曲線下が仕送りするということはないならこの炎焼き入れは儚し ; $hypothesis$ = そのバス・スイッチは済ま無くない ; $proof$ = 
fact9 & fact4 -> int1: この炎焼き入れは仕送りしない; int1 & fact13 -> int2: 「あの鍵束は仕送りするかそれは共鳴し易いか両方だ」ということは成り立たない; int2 & fact5 -> int3: 「あの室町幕府は聞き合わない」ということは真実である; int3 & fact6 -> int4: この正規曲線下は捕獲するしかつ儚し; int4 -> int5: この正規曲線下は儚し; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの正規曲線下が儚しとしたらそのバス・スイッチは済ま無い
事実2: もし仮になんらかの物が長いとすればそれは済ま無くない
事実3: 仮にこの炎焼き入れが長いならばそのバス・スイッチは長い
事実4: もしも何らかの物が長いということはないかまたは編製しないかどちらもならばこの炎焼き入れは仕送りしない
事実5: もし「あの鍵束は仕送りするかあるいは共鳴し易い」ということは成り立たないとしたら「あの室町幕府は聞き合わない」ということは本当である
事実6: もし仮にあの室町幕府が聞き合わないとするとこの正規曲線下は捕獲するし儚し
事実7: もしもこの炎焼き入れは仕送りするということはないなら「あの鍵束は仕送りしない」ということは本当である
事実8: この災害発生時は指定地でその上長い
事実9: とある物は長くないかもしくは編製しないかもしくは両方ともである
事実10: 仮に「あの鍵束は済ま無くない」ということは成り立つならそのバス・スイッチは共鳴し易いしおまけに儚し
事実11: この正規曲線下は捕獲する
事実12: あの鍵束は仕送りしない
事実13: もしこの炎焼き入れは仕送りしないとすると「あの鍵束は仕送りするかあるいはそれは共鳴し易いかまたはどちらもだ」ということは嘘である
事実14: もしもなにがしかのものが共鳴し易いししかもそれが聞き合うならあの鍵束は仕送りする
事実15: 「長くないかあるいは編製するかもしくは両方である」物はある
事実16: もしも「なにがしかのものは編製しない」ということは成り立つとすると「この炎焼き入れは仕送りしない」ということは事実である
事実17: もし仮にこの正規曲線下が仕送りするということはないならこの炎焼き入れは儚し

仮説: そのバス・スイッチは済ま無くない
1. 事実9と事実4から、推論1: "この炎焼き入れは仕送りしない"が導かれる
2. 推論1と事実13から、推論2: "「あの鍵束は仕送りするかそれは共鳴し易いか両方だ」ということは成り立たない"が導かれる
3. 推論2と事実5から、推論3: "「あの室町幕府は聞き合わない」ということは真実である"が導かれる
4. 推論3と事実6から、推論4: "この正規曲線下は捕獲するしかつ儚し"が導かれる
5. 推論4から、推論5: "この正規曲線下は儚し"が導かれる
6. 推論5と事実1から、仮説が否定される

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