その食一概は買い被るということはない
fact1: もし「なんらかの物は取り易い物でありまた与し易くない」ということは成り立たないとしたらそれは同一水平面上でない fact2: 与し易いものは同一水平面上でない fact3: もし仮に「その食一概は買い被るがしかし与し易くない」ということは成り立たないならそれは同一水平面上でない fact4: 仮にその食一概が予兆しないならその食中りは買い被る fact5: 「「患者本人であるということはない一方で予兆する」ということは成り立たない」物はあるとすれば「その食中りは予兆しない」ということは確かである fact6: もし仮にその乗り合いバスが職能部門だということはなくて第一回大会でないとしたらその食一概は買い被るということはない fact7: もしその食一概が買い被るとしたら屈伏しない fact8: もし仮にこの超国家が同一水平面上でないならばその食中りは同一水平面上だしそれに屈伏する fact9: 仮にこの超国家は患者本人でないならば「その乗り合いバスは予兆しないがしかし与し易い」ということは事実と異なる fact10: 「なにがしかの物は予兆するということはないなら「それは取り易いけれど与し易くない」ということは誤りだ」ということは真実である fact11: もしも「その乗り合いバスは職能部門でないし第一回大会だということはない」ということは誤りであるならばこの超国家は同一水平面上でない fact12: もしなんらかのものは取り易くないとすれば「それは同一水平面上でないけれど屈伏する」ということは間違っている fact13: もしも「その食一概は成り難い」ということは確かだとすると「それは凄いかあるいは患者本人でないかあるいはどちらもである」ということは嘘だ fact14: もし仮に「その乗り合いバスは屈伏するけど職能部門でない」ということは間違っているなら取り易くない fact15: 「「予兆しないけど職能部門である」ということは間違いな」物はある fact16: あの文学研究はひねこびない fact17: 「「患者本人でない一方で予兆する」ということは間違いな」物はある fact18: もし「その乗り合いバスは同一水平面上であるということはないけれど屈伏する」ということは間違っているとしたらその食中りは買い被らない fact19: もしこの超国家が与し易いけど同一水平面上でないとしたらその食中りは屈伏しない fact20: 仮に「同一水平面上である」物があるとするとその食中りは第一回大会でない fact21: もし仮に「その食一概は凄いか患者本人でない」ということは成り立つということはないならこの超国家は患者本人でない
void -> assump1: 以下のように仮定する。「その乗り合いバスは職能部門でなくてそれに第一回大会でない」ということは成り立たない; fact11 & assump1 -> int1: この超国家は同一水平面上であるということはない; int1 & fact8 -> int2: その食中りは同一水平面上だし屈伏する; int2 -> int3: 「その食中りは同一水平面上だ」ということは確かだ; fact5 & fact17 -> int4: その食中りは予兆しない; fact10 -> int5: 仮にその食中りは予兆しないなら「それは取り易い一方で与し易くない」ということは成り立たない; int4 & int5 -> int6: 「その食中りは取り易いがしかし与し易くない」ということは嘘である; fact1 -> int7: もし「その食中りは取り易いけど与し易くない」ということは成り立たないなら同一水平面上でない; int6 & int7 -> int8: その食中りは同一水平面上でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「その乗り合いバスは職能部門でなくて第一回大会だということはない」ということは真実だ; int10 & fact6 -> hypothesis;
「その食中りは買い被らない」ということは誤りでない
fact26 -> int11: その乗り合いバスは取り易いということはないならば「同一水平面上だということはないけれど屈伏する」ということは成り立たない;
$facts$ = fact1: もし「なんらかの物は取り易い物でありまた与し易くない」ということは成り立たないとしたらそれは同一水平面上でない fact2: 与し易いものは同一水平面上でない fact3: もし仮に「その食一概は買い被るがしかし与し易くない」ということは成り立たないならそれは同一水平面上でない fact4: 仮にその食一概が予兆しないならその食中りは買い被る fact5: 「「患者本人であるということはない一方で予兆する」ということは成り立たない」物はあるとすれば「その食中りは予兆しない」ということは確かである fact6: もし仮にその乗り合いバスが職能部門だということはなくて第一回大会でないとしたらその食一概は買い被るということはない fact7: もしその食一概が買い被るとしたら屈伏しない fact8: もし仮にこの超国家が同一水平面上でないならばその食中りは同一水平面上だしそれに屈伏する fact9: 仮にこの超国家は患者本人でないならば「その乗り合いバスは予兆しないがしかし与し易い」ということは事実と異なる fact10: 「なにがしかの物は予兆するということはないなら「それは取り易いけれど与し易くない」ということは誤りだ」ということは真実である fact11: もしも「その乗り合いバスは職能部門でないし第一回大会だということはない」ということは誤りであるならばこの超国家は同一水平面上でない fact12: もしなんらかのものは取り易くないとすれば「それは同一水平面上でないけれど屈伏する」ということは間違っている fact13: もしも「その食一概は成り難い」ということは確かだとすると「それは凄いかあるいは患者本人でないかあるいはどちらもである」ということは嘘だ fact14: もし仮に「その乗り合いバスは屈伏するけど職能部門でない」ということは間違っているなら取り易くない fact15: 「「予兆しないけど職能部門である」ということは間違いな」物はある fact16: あの文学研究はひねこびない fact17: 「「患者本人でない一方で予兆する」ということは間違いな」物はある fact18: もし「その乗り合いバスは同一水平面上であるということはないけれど屈伏する」ということは間違っているとしたらその食中りは買い被らない fact19: もしこの超国家が与し易いけど同一水平面上でないとしたらその食中りは屈伏しない fact20: 仮に「同一水平面上である」物があるとするとその食中りは第一回大会でない fact21: もし仮に「その食一概は凄いか患者本人でない」ということは成り立つということはないならこの超国家は患者本人でない ; $hypothesis$ = その食一概は買い被るということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その乗り合いバスは職能部門でなくてそれに第一回大会でない」ということは成り立たない; fact11 & assump1 -> int1: この超国家は同一水平面上であるということはない; int1 & fact8 -> int2: その食中りは同一水平面上だし屈伏する; int2 -> int3: 「その食中りは同一水平面上だ」ということは確かだ; fact5 & fact17 -> int4: その食中りは予兆しない; fact10 -> int5: 仮にその食中りは予兆しないなら「それは取り易い一方で与し易くない」ということは成り立たない; int4 & int5 -> int6: 「その食中りは取り易いがしかし与し易くない」ということは嘘である; fact1 -> int7: もし「その食中りは取り易いけど与し易くない」ということは成り立たないなら同一水平面上でない; int6 & int7 -> int8: その食中りは同一水平面上でない; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「その乗り合いバスは職能部門でなくて第一回大会だということはない」ということは真実だ; int10 & fact6 -> hypothesis; __PROVED__
事実1: もし「なんらかの物は取り易い物でありまた与し易くない」ということは成り立たないとしたらそれは同一水平面上でない
事実2: 与し易いものは同一水平面上でない
事実3: もし仮に「その食一概は買い被るがしかし与し易くない」ということは成り立たないならそれは同一水平面上でない
事実4: 仮にその食一概が予兆しないならその食中りは買い被る
事実5: 「「患者本人であるということはない一方で予兆する」ということは成り立たない」物はあるとすれば「その食中りは予兆しない」ということは確かである
事実6: もし仮にその乗り合いバスが職能部門だということはなくて第一回大会でないとしたらその食一概は買い被るということはない
事実7: もしその食一概が買い被るとしたら屈伏しない
事実8: もし仮にこの超国家が同一水平面上でないならばその食中りは同一水平面上だしそれに屈伏する
事実9: 仮にこの超国家は患者本人でないならば「その乗り合いバスは予兆しないがしかし与し易い」ということは事実と異なる
事実10: 「なにがしかの物は予兆するということはないなら「それは取り易いけれど与し易くない」ということは誤りだ」ということは真実である
事実11: もしも「その乗り合いバスは職能部門でないし第一回大会だということはない」ということは誤りであるならばこの超国家は同一水平面上でない
事実12: もしなんらかのものは取り易くないとすれば「それは同一水平面上でないけれど屈伏する」ということは間違っている
事実13: もしも「その食一概は成り難い」ということは確かだとすると「それは凄いかあるいは患者本人でないかあるいはどちらもである」ということは嘘だ
事実14: もし仮に「その乗り合いバスは屈伏するけど職能部門でない」ということは間違っているなら取り易くない
事実15: 「「予兆しないけど職能部門である」ということは間違いな」物はある
事実16: あの文学研究はひねこびない
事実17: 「「患者本人でない一方で予兆する」ということは間違いな」物はある
事実18: もし「その乗り合いバスは同一水平面上であるということはないけれど屈伏する」ということは間違っているとしたらその食中りは買い被らない
事実19: もしこの超国家が与し易いけど同一水平面上でないとしたらその食中りは屈伏しない
事実20: 仮に「同一水平面上である」物があるとするとその食中りは第一回大会でない
事実21: もし仮に「その食一概は凄いか患者本人でない」ということは成り立つということはないならこの超国家は患者本人でない

仮説: その食一概は買い被るということはない
1. 仮定1: 以下のように仮定する。「その乗り合いバスは職能部門でなくてそれに第一回大会でない」ということは成り立たない
2. 事実11と仮定1から、推論1: "この超国家は同一水平面上であるということはない"が導かれる
3. 推論1と事実8から、推論2: "その食中りは同一水平面上だし屈伏する"が導かれる
4. 推論2から、推論3: "「その食中りは同一水平面上だ」ということは確かだ"が導かれる
5. 事実5と事実17から、推論4: "その食中りは予兆しない"が導かれる
6. 事実10から、推論5: "仮にその食中りは予兆しないなら「それは取り易い一方で与し易くない」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "「その食中りは取り易いがしかし与し易くない」ということは嘘である"が導かれる
8. 事実1から、推論7: "もし「その食中りは取り易いけど与し易くない」ということは成り立たないなら同一水平面上でない"が導かれる
9. 推論6と推論7から、推論8: "その食中りは同一水平面上でない"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「その乗り合いバスは職能部門でなくて第一回大会だということはない」ということは真実だ"が導かれる
12. 推論10と事実6から、仮説が導かれる

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