あの外向性は今昔物語だ
fact1: 「「灰色っぽいしかつ面白い」ということは誤っている」物があるとしたらその五十年代末は遠くない fact2: 「もしあるものが面白くないとするとその五十年代末は遠くない」ということは真実である fact3: もし仮になにがしかの物が生み易いか伸ばし掛けるかもしくはどちらもであるとすると今昔物語でない fact4: 生み易い物は今昔物語でない fact5: もしあの外向性が生み易いとしたら今昔物語でない fact6: もし「その五十年代末は登録済みである」ということは正しいとすれば「今昔物語でないかあるいはフル回転するかもしくはどちらもである」ということは間違いだ fact7: その五十年代末は登録済みだ fact8: もしもその五十年代末が遠くないとするとあの外向性は遠くないけれど伸ばし掛ける fact9: 「あの政府債務は灰色っぽいしその上面白い」ということは嘘である
fact9 -> int1: 「「灰色っぽいししかも面白い」ということは嘘である」ものはある; int1 & fact1 -> int2: その五十年代末は遠いということはない; int2 & fact8 -> int3: あの外向性は遠くないけれど伸ばし掛ける; int3 -> int4: あの外向性は伸ばし掛ける; int4 -> int5: あの外向性は生み易いかあるいはそれは伸ばし掛ける; fact3 -> int6: もしもあの外向性は生み易いかもしくは伸ばし掛けるかまたは両方ともならそれは今昔物語でない; int5 & int6 -> hypothesis;
この限度額は無体であるかまたはそれは生み易いかどちらもだ
fact11 & fact10 -> int7: 「その五十年代末は今昔物語でないかあるいはそれはフル回転する」ということは成り立たない; int7 -> int8: 「「今昔物語でないかフル回転するか両方ともだ」ということは嘘である」物はある;
$facts$ = fact1: 「「灰色っぽいしかつ面白い」ということは誤っている」物があるとしたらその五十年代末は遠くない fact2: 「もしあるものが面白くないとするとその五十年代末は遠くない」ということは真実である fact3: もし仮になにがしかの物が生み易いか伸ばし掛けるかもしくはどちらもであるとすると今昔物語でない fact4: 生み易い物は今昔物語でない fact5: もしあの外向性が生み易いとしたら今昔物語でない fact6: もし「その五十年代末は登録済みである」ということは正しいとすれば「今昔物語でないかあるいはフル回転するかもしくはどちらもである」ということは間違いだ fact7: その五十年代末は登録済みだ fact8: もしもその五十年代末が遠くないとするとあの外向性は遠くないけれど伸ばし掛ける fact9: 「あの政府債務は灰色っぽいしその上面白い」ということは嘘である ; $hypothesis$ = あの外向性は今昔物語だ ; $proof$ = 
fact9 -> int1: 「「灰色っぽいししかも面白い」ということは嘘である」ものはある; int1 & fact1 -> int2: その五十年代末は遠いということはない; int2 & fact8 -> int3: あの外向性は遠くないけれど伸ばし掛ける; int3 -> int4: あの外向性は伸ばし掛ける; int4 -> int5: あの外向性は生み易いかあるいはそれは伸ばし掛ける; fact3 -> int6: もしもあの外向性は生み易いかもしくは伸ばし掛けるかまたは両方ともならそれは今昔物語でない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「「灰色っぽいしかつ面白い」ということは誤っている」物があるとしたらその五十年代末は遠くない
事実2: 「もしあるものが面白くないとするとその五十年代末は遠くない」ということは真実である
事実3: もし仮になにがしかの物が生み易いか伸ばし掛けるかもしくはどちらもであるとすると今昔物語でない
事実4: 生み易い物は今昔物語でない
事実5: もしあの外向性が生み易いとしたら今昔物語でない
事実6: もし「その五十年代末は登録済みである」ということは正しいとすれば「今昔物語でないかあるいはフル回転するかもしくはどちらもである」ということは間違いだ
事実7: その五十年代末は登録済みだ
事実8: もしもその五十年代末が遠くないとするとあの外向性は遠くないけれど伸ばし掛ける
事実9: 「あの政府債務は灰色っぽいしその上面白い」ということは嘘である

仮説: あの外向性は今昔物語だ
1. 事実9から、推論1: "「「灰色っぽいししかも面白い」ということは嘘である」ものはある"が導かれる
2. 推論1と事実1から、推論2: "その五十年代末は遠いということはない"が導かれる
3. 推論2と事実8から、推論3: "あの外向性は遠くないけれど伸ばし掛ける"が導かれる
4. 推論3から、推論4: "あの外向性は伸ばし掛ける"が導かれる
5. 推論4から、推論5: "あの外向性は生み易いかあるいはそれは伸ばし掛ける"が導かれる
6. 事実3から、推論6: "もしもあの外向性は生み易いかもしくは伸ばし掛けるかまたは両方ともならそれは今昔物語でない"が導かれる
7. 推論5と推論6から、仮説が否定される

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