あの東京圏は行われ易くない
fact1: もしとある物は行われ易いとしたら「「それは基礎調査であるしかつそれは答え易くない」ということは成り立つ」ということは真実でない fact2: その頸髄は勒すし更にそれは国際法上だ fact3: もしその頸髄が船着きだとするとその保存活用は船着きであるがしかしかわゆいということはない fact4: その保存活用は中立性であるしそれは柳本飛行場だ fact5: 「「その保存活用は船着きでしかもかわゆい」ということは偽だ」ということは成り立つ fact6: その姦淫行為は船着きである fact7: なにがしかのものは中立性であるならば「それは船着きだがしかしかわゆくない」ということは誤っている fact8: もしもなにかは中立性であるとしたら「「それは船着きだしその上かわゆい」ということは本当である」ということは事実でない fact9: もしその保存活用が基礎調査だとしたらその頸髄は基礎調査である一方で柳本飛行場でない fact10: 「その頸髄が基礎調査だしまたそれは答え易い」ということは誤りである fact11: もし仮にその保存活用は柳本飛行場ならば「それは基礎調査であるしかわゆい」ということは成り立たない fact12: その頸髄が答え易いとすればあの東京圏は行われ易くない fact13: 仮に「その頸髄は基礎調査であるがしかしそれは答え易くない」ということは本当でないとしたらあの東京圏は行われ易くない fact14: その保存活用はかわゆいということはない fact15: もしもその保存活用は中立性であるとすると「それは船着きでかわゆい」ということは成り立たない fact16: その保存活用は柳本飛行場だ fact17: 仮にその頸髄が答え易くないとするとあの東京圏は行われ易くてそれは基礎調査だ fact18: もしもその頸髄が中立性ならばあの保存活用は基礎調査でない fact19: 「その保存活用は答え易いが柳本飛行場でない」ということは嘘である fact20: 仮にあの東京圏は柳本飛行場であるならそれは行われ易い fact21: もし仮にその頸髄が基礎調査ならばそれは船着きである
void -> assump1: 以下のように仮定する。その頸髄は基礎調査だけれどそれは答え易くない; assump1 -> int1: その頸髄は基礎調査だ; int1 & fact21 -> int2: その頸髄は船着きだ; int2 & fact3 -> int3: その保存活用は船着きであるけれどそれはかわゆくない; fact7 -> int4: もしも「その保存活用は中立性である」ということは正しいならば「船着きであるしまたそれはかわゆくない」ということは事実と異なる; fact4 -> int5: その保存活用は中立性である; int4 & int5 -> int6: 「その保存活用は船着きであるけれどかわゆくない」ということは間違っている; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その頸髄は基礎調査であるけど答え易いということはない」ということは嘘だ; int8 & fact13 -> hypothesis;
あの東京圏は行われ易い
$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: 以下のように仮定する。その頸髄は基礎調査だけれどそれは答え易くない; assump1 -> int1: その頸髄は基礎調査だ; int1 & fact21 -> int2: その頸髄は船着きだ; int2 & fact3 -> int3: その保存活用は船着きであるけれどそれはかわゆくない; fact7 -> int4: もしも「その保存活用は中立性である」ということは正しいならば「船着きであるしまたそれはかわゆくない」ということは事実と異なる; fact4 -> int5: その保存活用は中立性である; int4 & int5 -> int6: 「その保存活用は船着きであるけれどかわゆくない」ということは間違っている; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その頸髄は基礎調査であるけど答え易いということはない」ということは嘘だ; int8 & fact13 -> 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. 仮定1から、推論1: "その頸髄は基礎調査だ"が導かれる
3. 推論1と事実21から、推論2: "その頸髄は船着きだ"が導かれる
4. 推論2と事実3から、推論3: "その保存活用は船着きであるけれどそれはかわゆくない"が導かれる
5. 事実7から、推論4: "もしも「その保存活用は中立性である」ということは正しいならば「船着きであるしまたそれはかわゆくない」ということは事実と異なる"が導かれる
6. 事実4から、推論5: "その保存活用は中立性である"が導かれる
7. 推論4と推論5から、推論6: "「その保存活用は船着きであるけれどかわゆくない」ということは間違っている"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その頸髄は基礎調査であるけど答え易いということはない」ということは嘘だ"が導かれる
10. 推論8と事実13から、仮説が導かれる

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