あの渡世人は御満足頂けない
fact1: 仮にある物はビッグ・バンでないならそれは結び合う fact2: もしなにかは経済計画でないとすると「全額支給しないしエンバンクメント駅だということはない」ということは嘘である fact3: あのコバルトは迅速化する fact4: なにがしかのものはエンバンクメント駅でないならば「御満足頂ける」ということは事実である fact5: もしもあのコバルトが迅速化しなくてかつムサンナ国立施設でないとすればあの渡世人は御満足頂けない fact6: 仮に「ある物は全額支給しないしエンバンクメント駅でない」ということは事実と異なるとすればそれは迅速化する fact7: あの記録フィルムは迅速化する fact8: 「もしあのコバルトがムサンナ国立施設ならあの渡世人はエンバンクメント駅でない」ということは偽でない fact9: 仮にあのコバルトがムサンナ国立施設であるかもしくはそれが迅速化するかあるいはどちらもならばあの渡世人はエンバンクメント駅でない
fact3 -> int1: あのコバルトはムサンナ国立施設であるかあるいはそれは迅速化する; int1 & fact9 -> int2: あの渡世人はエンバンクメント駅でない; fact4 -> int3: もし仮にあの渡世人はエンバンクメント駅であるということはないならばそれは御満足頂ける; int2 & int3 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact9 -> int2: ¬{C}{b}; fact4 -> int3: ¬{C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
あの渡世人は御満足頂けない
$facts$ = fact1: 仮にある物はビッグ・バンでないならそれは結び合う fact2: もしなにかは経済計画でないとすると「全額支給しないしエンバンクメント駅だということはない」ということは嘘である fact3: あのコバルトは迅速化する fact4: なにがしかのものはエンバンクメント駅でないならば「御満足頂ける」ということは事実である fact5: もしもあのコバルトが迅速化しなくてかつムサンナ国立施設でないとすればあの渡世人は御満足頂けない fact6: 仮に「ある物は全額支給しないしエンバンクメント駅でない」ということは事実と異なるとすればそれは迅速化する fact7: あの記録フィルムは迅速化する fact8: 「もしあのコバルトがムサンナ国立施設ならあの渡世人はエンバンクメント駅でない」ということは偽でない fact9: 仮にあのコバルトがムサンナ国立施設であるかもしくはそれが迅速化するかあるいはどちらもならばあの渡世人はエンバンクメント駅でない ; $hypothesis$ = あの渡世人は御満足頂けない ; $proof$ = 
fact3 -> int1: あのコバルトはムサンナ国立施設であるかあるいはそれは迅速化する; int1 & fact9 -> int2: あの渡世人はエンバンクメント駅でない; fact4 -> int3: もし仮にあの渡世人はエンバンクメント駅であるということはないならばそれは御満足頂ける; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にある物はビッグ・バンでないならそれは結び合う
事実2: もしなにかは経済計画でないとすると「全額支給しないしエンバンクメント駅だということはない」ということは嘘である
事実3: あのコバルトは迅速化する
事実4: なにがしかのものはエンバンクメント駅でないならば「御満足頂ける」ということは事実である
事実5: もしもあのコバルトが迅速化しなくてかつムサンナ国立施設でないとすればあの渡世人は御満足頂けない
事実6: 仮に「ある物は全額支給しないしエンバンクメント駅でない」ということは事実と異なるとすればそれは迅速化する
事実7: あの記録フィルムは迅速化する
事実8: 「もしあのコバルトがムサンナ国立施設ならあの渡世人はエンバンクメント駅でない」ということは偽でない
事実9: 仮にあのコバルトがムサンナ国立施設であるかもしくはそれが迅速化するかあるいはどちらもならばあの渡世人はエンバンクメント駅でない

仮説: あの渡世人は御満足頂けない
1. 事実3から、推論1: "あのコバルトはムサンナ国立施設であるかあるいはそれは迅速化する"が導かれる
2. 推論1と事実9から、推論2: "あの渡世人はエンバンクメント駅でない"が導かれる
3. 事実4から、推論3: "もし仮にあの渡世人はエンバンクメント駅であるということはないならばそれは御満足頂ける"が導かれる
4. 推論2と推論3から、仮説が否定される

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