この現実政治は低年齢化しない
fact1: 「この大選挙区は悪賢くない」ということは正しい fact2: 仮にその修理工が教えでないならばこの現実政治は水平半規管型でないか迷い易いかどちらもである fact3: もし何らかのものが教えであるということはないとしたらそれは水平半規管型であるかあるいはくねるか両方ともである fact4: もし仮になんらかのものが嘗め尽くさないとしたらそれはＳＨＰだししかも四月実施である fact5: 仮にこの現実政治は教えでないとしたら「済ま無くないかあるいは私達一家だということはないかもしくはどちらもである」ということは成り立たない fact6: 「その修理工は平ったい」ということは本当でない fact7: もし仮に「なんらかの物は済ま無くないかあるいは出易くないかまたは両方ともである」ということは成り立たないとしたら教えでない fact8: もしあのカフリンクスが水平半規管型であるとすればあの現実政治は低年齢化する fact9: もしある物が低年齢化すれば私達一家でしかも迷い易くない fact10: なにがしかの物がＳＨＰだとすればそれは初々しい fact11: もしもこの大選挙区が悪賢いということはないとしたら当たり難くなくて積める fact12: 仮にこの現実政治が私達一家だがしかし迷い易くないならば「あのカフリンクスはくねらない」ということは成り立つ fact13: もし仮にこの大選挙区は初々しいならば「その三号線は残り難いけどそれはシャットアウトしない」ということは真実だということはない fact14: 仮にある物は済ま無くないとすると「それは水平半規管型でないかまたは教えでないかあるいは両方だ」ということは嘘である fact15: その修理工は済ま無くない fact16: 仮になんらかの物が水平半規管型でないならそれは低年齢化しなくてそれにくねる fact17: もし仮にその修理工は飽き飽きしないとすると「あのカフリンクスは済ま無くないかもしくは出易くないかあるいは両方ともである」ということは成り立たない fact18: もし「その三号線は飽き飽きしないかあるいは出易くないかまたは両方ともである」ということは誤りであるとすればあのカフリンクスは済ま無くない fact19: もし仮にこの現実政治が教えであるが水平半規管型でないとするとその修理工は迷い易くない fact20: もしも「「残り難い一方でシャットアウトしない」ということは事実と異なる」ものがあるとしたらその修理工は飽き飽きしない fact21: もし仮にその修理工が迷い易いとすれば水平半規管型だ fact22: もしもその三号線はシャットアウトしないとすれば「飽き飽きしないかそれは出易くない」ということは嘘だ fact23: もし当たり難いということはないものが積めれば嘗め尽くすということはない fact24: もし「あのカフリンクスはくねらない」ということは事実ならその修理工は水平半規管型でないかあるいは教えでないかあるいは両方である
fact9 -> int1: もしもこの現実政治が低年齢化するとすれば私達一家だけど迷い易くない; void -> assump1: 以下のように仮定する。この現実政治は低年齢化する; int1 & assump1 -> int2: この現実政治は私達一家だがそれは迷い易くない; int2 & fact12 -> int3: あのカフリンクスはくねらない; int3 & fact24 -> int4: その修理工は水平半規管型でないか教えでないかもしくは両方ともだ; fact14 -> int5: もしその修理工は済ま無くないとしたら「それは水平半規管型でないか教えでないかもしくはどちらもだ」ということは成り立たない; fact15 & int5 -> int6: 「その修理工は水平半規管型であるということはないかまたは教えでないかどちらもである」ということは誤っている; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この現実政治は低年齢化する
fact29 -> int8: 「もしもあのカフリンクスが教えでないとすればあのカフリンクスは水平半規管型であるかあるいはくねるか両方だ」ということは真実である; fact32 -> int9: もし仮に「あのカフリンクスは済ま無くないかあるいはそれは出易くないか両方ともである」ということは成り立たないとすれば教えでない; fact31 -> int10: もしこの大選挙区はＳＨＰであるならば初々しい; fact27 -> int11: この大選挙区が嘗め尽くさないとすればＳＨＰであるしそれは四月実施である; fact30 -> int12: もしもこの大選挙区が当たり難くないけれどそれが積めるとすると嘗め尽くさない; fact28 & fact35 -> int13: この大選挙区は当たり難くない一方で積める; int12 & int13 -> int14: この大選挙区は嘗め尽くさない; int11 & int14 -> int15: この大選挙区はＳＨＰであるしおまけに四月実施である; int15 -> int16: 「この大選挙区はＳＨＰでない」ということは成り立たない; int10 & int16 -> int17: この大選挙区は初々しい; fact33 & int17 -> int18: 「その三号線は残り難いがしかしシャットアウトしない」ということは間違いだ; int18 -> int19: 「「残り難いがしかしシャットアウトしない」ということは成り立たない」物はある; int19 & fact25 -> int20: その修理工は飽き飽きしない; fact34 & int20 -> int21: 「あのカフリンクスは済ま無くないかまたはそれは出易くないかあるいは両方だ」ということは成り立たない; int9 & int21 -> int22: あのカフリンクスは教えでない; int8 & int22 -> int23: あのカフリンクスは水平半規管型であるかあるいはくねるかあるいは両方だ;
$facts$ = fact1: 「この大選挙区は悪賢くない」ということは正しい fact2: 仮にその修理工が教えでないならばこの現実政治は水平半規管型でないか迷い易いかどちらもである fact3: もし何らかのものが教えであるということはないとしたらそれは水平半規管型であるかあるいはくねるか両方ともである fact4: もし仮になんらかのものが嘗め尽くさないとしたらそれはＳＨＰだししかも四月実施である fact5: 仮にこの現実政治は教えでないとしたら「済ま無くないかあるいは私達一家だということはないかもしくはどちらもである」ということは成り立たない fact6: 「その修理工は平ったい」ということは本当でない fact7: もし仮に「なんらかの物は済ま無くないかあるいは出易くないかまたは両方ともである」ということは成り立たないとしたら教えでない fact8: もしあのカフリンクスが水平半規管型であるとすればあの現実政治は低年齢化する fact9: もしある物が低年齢化すれば私達一家でしかも迷い易くない fact10: なにがしかの物がＳＨＰだとすればそれは初々しい fact11: もしもこの大選挙区が悪賢いということはないとしたら当たり難くなくて積める fact12: 仮にこの現実政治が私達一家だがしかし迷い易くないならば「あのカフリンクスはくねらない」ということは成り立つ fact13: もし仮にこの大選挙区は初々しいならば「その三号線は残り難いけどそれはシャットアウトしない」ということは真実だということはない fact14: 仮にある物は済ま無くないとすると「それは水平半規管型でないかまたは教えでないかあるいは両方だ」ということは嘘である fact15: その修理工は済ま無くない fact16: 仮になんらかの物が水平半規管型でないならそれは低年齢化しなくてそれにくねる fact17: もし仮にその修理工は飽き飽きしないとすると「あのカフリンクスは済ま無くないかもしくは出易くないかあるいは両方ともである」ということは成り立たない fact18: もし「その三号線は飽き飽きしないかあるいは出易くないかまたは両方ともである」ということは誤りであるとすればあのカフリンクスは済ま無くない fact19: もし仮にこの現実政治が教えであるが水平半規管型でないとするとその修理工は迷い易くない fact20: もしも「「残り難い一方でシャットアウトしない」ということは事実と異なる」ものがあるとしたらその修理工は飽き飽きしない fact21: もし仮にその修理工が迷い易いとすれば水平半規管型だ fact22: もしもその三号線はシャットアウトしないとすれば「飽き飽きしないかそれは出易くない」ということは嘘だ fact23: もし当たり難いということはないものが積めれば嘗め尽くすということはない fact24: もし「あのカフリンクスはくねらない」ということは事実ならその修理工は水平半規管型でないかあるいは教えでないかあるいは両方である ; $hypothesis$ = この現実政治は低年齢化しない ; $proof$ = 
fact9 -> int1: もしもこの現実政治が低年齢化するとすれば私達一家だけど迷い易くない; void -> assump1: 以下のように仮定する。この現実政治は低年齢化する; int1 & assump1 -> int2: この現実政治は私達一家だがそれは迷い易くない; int2 & fact12 -> int3: あのカフリンクスはくねらない; int3 & fact24 -> int4: その修理工は水平半規管型でないか教えでないかもしくは両方ともだ; fact14 -> int5: もしその修理工は済ま無くないとしたら「それは水平半規管型でないか教えでないかもしくはどちらもだ」ということは成り立たない; fact15 & int5 -> int6: 「その修理工は水平半規管型であるということはないかまたは教えでないかどちらもである」ということは誤っている; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「この大選挙区は悪賢くない」ということは正しい
事実2: 仮にその修理工が教えでないならばこの現実政治は水平半規管型でないか迷い易いかどちらもである
事実3: もし何らかのものが教えであるということはないとしたらそれは水平半規管型であるかあるいはくねるか両方ともである
事実4: もし仮になんらかのものが嘗め尽くさないとしたらそれはＳＨＰだししかも四月実施である
事実5: 仮にこの現実政治は教えでないとしたら「済ま無くないかあるいは私達一家だということはないかもしくはどちらもである」ということは成り立たない
事実6: 「その修理工は平ったい」ということは本当でない
事実7: もし仮に「なんらかの物は済ま無くないかあるいは出易くないかまたは両方ともである」ということは成り立たないとしたら教えでない
事実8: もしあのカフリンクスが水平半規管型であるとすればあの現実政治は低年齢化する
事実9: もしある物が低年齢化すれば私達一家でしかも迷い易くない
事実10: なにがしかの物がＳＨＰだとすればそれは初々しい
事実11: もしもこの大選挙区が悪賢いということはないとしたら当たり難くなくて積める
事実12: 仮にこの現実政治が私達一家だがしかし迷い易くないならば「あのカフリンクスはくねらない」ということは成り立つ
事実13: もし仮にこの大選挙区は初々しいならば「その三号線は残り難いけどそれはシャットアウトしない」ということは真実だということはない
事実14: 仮にある物は済ま無くないとすると「それは水平半規管型でないかまたは教えでないかあるいは両方だ」ということは嘘である
事実15: その修理工は済ま無くない
事実16: 仮になんらかの物が水平半規管型でないならそれは低年齢化しなくてそれにくねる
事実17: もし仮にその修理工は飽き飽きしないとすると「あのカフリンクスは済ま無くないかもしくは出易くないかあるいは両方ともである」ということは成り立たない
事実18: もし「その三号線は飽き飽きしないかあるいは出易くないかまたは両方ともである」ということは誤りであるとすればあのカフリンクスは済ま無くない
事実19: もし仮にこの現実政治が教えであるが水平半規管型でないとするとその修理工は迷い易くない
事実20: もしも「「残り難い一方でシャットアウトしない」ということは事実と異なる」ものがあるとしたらその修理工は飽き飽きしない
事実21: もし仮にその修理工が迷い易いとすれば水平半規管型だ
事実22: もしもその三号線はシャットアウトしないとすれば「飽き飽きしないかそれは出易くない」ということは嘘だ
事実23: もし当たり難いということはないものが積めれば嘗め尽くすということはない
事実24: もし「あのカフリンクスはくねらない」ということは事実ならその修理工は水平半規管型でないかあるいは教えでないかあるいは両方である

仮説: この現実政治は低年齢化しない
1. 事実9から、推論1: "もしもこの現実政治が低年齢化するとすれば私達一家だけど迷い易くない"が導かれる
2. 仮定1: 以下のように仮定する。この現実政治は低年齢化する
3. 推論1と仮定1から、推論2: "この現実政治は私達一家だがそれは迷い易くない"が導かれる
4. 推論2と事実12から、推論3: "あのカフリンクスはくねらない"が導かれる
5. 推論3と事実24から、推論4: "その修理工は水平半規管型でないか教えでないかもしくは両方ともだ"が導かれる
6. 事実14から、推論5: "もしその修理工は済ま無くないとしたら「それは水平半規管型でないか教えでないかもしくはどちらもだ」ということは成り立たない"が導かれる
7. 事実15と推論5から、推論6: "「その修理工は水平半規管型であるということはないかまたは教えでないかどちらもである」ということは誤っている"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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