そのマックス・ローチは開成所でない
fact1: もし「何かは座り易いということはないかまたは変更し為さらないかもしくは両方ともだ」ということは偽だとしたら「それは淡くない」ということは成り立つ fact2: もし仮にその改造計画が取り易いならそのマックス・ローチは取り易いけど開成所だということはない fact3: それは座り易くないかあるいは変更し為さらないかもしくはどちらもであるというものはない fact4: 仮にその旧正月が淡くないとするとその改造計画は淡くないしまた近代民主主義でない fact5: もし淡くない物は近代民主主義でないとしたら取り易い
fact3 -> int1: 「その旧正月は座り易いということはないか変更し為さらないかまたは両方ともである」ということは偽である; fact1 -> int2: 仮に「その旧正月は座り易くないかもしくは変更し為さらないか両方ともだ」ということは成り立たないとするとそれは淡いということはない; int1 & int2 -> int3: その旧正月は淡いということはない; int3 & fact4 -> int4: その改造計画は淡くなくておまけに近代民主主義でない; fact5 -> int5: もしもその改造計画が淡くないしそれは近代民主主義でないならば「取り易い」ということは確かである; int4 & int5 -> int6: 「その改造計画は取り易い」ということは成り立つ; int6 & fact2 -> int7: そのマックス・ローチは取り易いがしかし開成所でない; int7 -> hypothesis;
$facts$ = fact1: もし「何かは座り易いということはないかまたは変更し為さらないかもしくは両方ともだ」ということは偽だとしたら「それは淡くない」ということは成り立つ fact2: もし仮にその改造計画が取り易いならそのマックス・ローチは取り易いけど開成所だということはない fact3: それは座り易くないかあるいは変更し為さらないかもしくはどちらもであるというものはない fact4: 仮にその旧正月が淡くないとするとその改造計画は淡くないしまた近代民主主義でない fact5: もし淡くない物は近代民主主義でないとしたら取り易い ; $hypothesis$ = そのマックス・ローチは開成所でない ; $proof$ = 
fact3 -> int1: 「その旧正月は座り易いということはないか変更し為さらないかまたは両方ともである」ということは偽である; fact1 -> int2: 仮に「その旧正月は座り易くないかもしくは変更し為さらないか両方ともだ」ということは成り立たないとするとそれは淡いということはない; int1 & int2 -> int3: その旧正月は淡いということはない; int3 & fact4 -> int4: その改造計画は淡くなくておまけに近代民主主義でない; fact5 -> int5: もしもその改造計画が淡くないしそれは近代民主主義でないならば「取り易い」ということは確かである; int4 & int5 -> int6: 「その改造計画は取り易い」ということは成り立つ; int6 & fact2 -> int7: そのマックス・ローチは取り易いがしかし開成所でない; int7 -> hypothesis; __PROVED__
事実1: もし「何かは座り易いということはないかまたは変更し為さらないかもしくは両方ともだ」ということは偽だとしたら「それは淡くない」ということは成り立つ
事実2: もし仮にその改造計画が取り易いならそのマックス・ローチは取り易いけど開成所だということはない
事実3: それは座り易くないかあるいは変更し為さらないかもしくはどちらもであるというものはない
事実4: 仮にその旧正月が淡くないとするとその改造計画は淡くないしまた近代民主主義でない
事実5: もし淡くない物は近代民主主義でないとしたら取り易い

仮説: そのマックス・ローチは開成所でない
1. 事実3から、推論1: "「その旧正月は座り易いということはないか変更し為さらないかまたは両方ともである」ということは偽である"が導かれる
2. 事実1から、推論2: "仮に「その旧正月は座り易くないかもしくは変更し為さらないか両方ともだ」ということは成り立たないとするとそれは淡いということはない"が導かれる
3. 推論1と推論2から、推論3: "その旧正月は淡いということはない"が導かれる
4. 推論3と事実4から、推論4: "その改造計画は淡くなくておまけに近代民主主義でない"が導かれる
5. 事実5から、推論5: "もしもその改造計画が淡くないしそれは近代民主主義でないならば「取り易い」ということは確かである"が導かれる
6. 推論4と推論5から、推論6: "「その改造計画は取り易い」ということは成り立つ"が導かれる
7. 推論6と事実2から、推論7: "そのマックス・ローチは取り易いがしかし開成所でない"が導かれる
8. 推論7から、仮説が導かれる

よって、仮説が証明されました。