あの和は文化・文明だ
fact1: とあるものは管理権原者でないとすれば「扱い易くないしさらにそれは高価購入だ」ということは間違っている fact2: 「あの和は高価購入でないし更に誘発し易くない」ということは成り立たないならば「それは扱い易い」ということは本当だ fact3: 「あの木柱は管理権原者である」ということは成り立つ fact4: 仮になにがしかの物が御招きしないならば管理権原者でなくてまたそれは扱い易い fact5: その文尾は供用するということはない fact6: あの和は扱い易くないがしかし管理権原者である fact7: あのパーミッションは食べ易いということはない一方で管理権原者だ fact8: もし仮に何らかの物が管理権原者でない一方でそれは扱い易いとしたら「文化・文明でない」ということは成り立つ fact9: もし仮に「なにがしかのものは供用するということはない」ということは真実だとしたら「それは御招きするかもしくは亜分類する」ということは誤りである fact10: 仮になんらかの物は入閣するとすると「供用するがしかし亜分類しない」ということは成り立たない fact11: もし仮に「その文尾は入閣する」ということは確かだとすればあの和は入閣する fact12: もしなんらかの物は文化・文明であるということはないならば「それは高価購入でないし誘発し易くない」ということは誤っている fact13: もし「なにかは供用するがしかしそれは亜分類しない」ということは誤りならばそれは御招きしない fact14: なにがしかのものは誘発し易くないとすると「「管理権原者であるということはないし更にそれは高価購入でない」ということは本当である」ということは事実でない fact15: その高齢者住宅は管理権原者である fact16: もしもあの和は暗しということはないとすれば「それが淀み無いということはないしさらに個別欠損金額でない」ということは嘘だ fact17: 「あの和は高価購入でないけどそれは誘発し易い」ということは間違っている fact18: もしあの和は弱単調性係数でないとしたら「それは扱い易くないししかも取れない」ということは嘘である
fact12 -> int1: 仮にあの和は文化・文明でないとしたら「高価購入でないし更に誘発し易くない」ということは誤りである; void -> assump1: 以下のように仮定する。あの和は文化・文明だということはない; int1 & assump1 -> int2: 「「あの和は高価購入でないしさらに誘発し易くない」ということは真実でない」ということは真実である; int2 & fact2 -> int3: あの和は扱い易い; fact6 -> int4: あの和は扱い易くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの和は文化・文明でない
fact21 -> int6: あの和が管理権原者でないがしかし扱い易いとすればそれは文化・文明でない; fact22 -> int7: もし仮にあの和が御招きしないとすればそれは管理権原者でないけど扱い易い; fact20 -> int8: 「あの和は供用するがそれは亜分類しない」ということは嘘であるとしたらそれは御招きしない; fact23 -> int9: もし仮に「あの和は入閣する」ということは真実だとすると「供用する一方で亜分類しない」ということは誤りだ;
$facts$ = fact1: とあるものは管理権原者でないとすれば「扱い易くないしさらにそれは高価購入だ」ということは間違っている fact2: 「あの和は高価購入でないし更に誘発し易くない」ということは成り立たないならば「それは扱い易い」ということは本当だ fact3: 「あの木柱は管理権原者である」ということは成り立つ fact4: 仮になにがしかの物が御招きしないならば管理権原者でなくてまたそれは扱い易い fact5: その文尾は供用するということはない fact6: あの和は扱い易くないがしかし管理権原者である fact7: あのパーミッションは食べ易いということはない一方で管理権原者だ fact8: もし仮に何らかの物が管理権原者でない一方でそれは扱い易いとしたら「文化・文明でない」ということは成り立つ fact9: もし仮に「なにがしかのものは供用するということはない」ということは真実だとしたら「それは御招きするかもしくは亜分類する」ということは誤りである fact10: 仮になんらかの物は入閣するとすると「供用するがしかし亜分類しない」ということは成り立たない fact11: もし仮に「その文尾は入閣する」ということは確かだとすればあの和は入閣する fact12: もしなんらかの物は文化・文明であるということはないならば「それは高価購入でないし誘発し易くない」ということは誤っている fact13: もし「なにかは供用するがしかしそれは亜分類しない」ということは誤りならばそれは御招きしない fact14: なにがしかのものは誘発し易くないとすると「「管理権原者であるということはないし更にそれは高価購入でない」ということは本当である」ということは事実でない fact15: その高齢者住宅は管理権原者である fact16: もしもあの和は暗しということはないとすれば「それが淀み無いということはないしさらに個別欠損金額でない」ということは嘘だ fact17: 「あの和は高価購入でないけどそれは誘発し易い」ということは間違っている fact18: もしあの和は弱単調性係数でないとしたら「それは扱い易くないししかも取れない」ということは嘘である ; $hypothesis$ = あの和は文化・文明だ ; $proof$ = 
fact12 -> int1: 仮にあの和は文化・文明でないとしたら「高価購入でないし更に誘発し易くない」ということは誤りである; void -> assump1: 以下のように仮定する。あの和は文化・文明だということはない; int1 & assump1 -> int2: 「「あの和は高価購入でないしさらに誘発し易くない」ということは真実でない」ということは真実である; int2 & fact2 -> int3: あの和は扱い易い; fact6 -> int4: あの和は扱い易くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: とあるものは管理権原者でないとすれば「扱い易くないしさらにそれは高価購入だ」ということは間違っている
事実2: 「あの和は高価購入でないし更に誘発し易くない」ということは成り立たないならば「それは扱い易い」ということは本当だ
事実3: 「あの木柱は管理権原者である」ということは成り立つ
事実4: 仮になにがしかの物が御招きしないならば管理権原者でなくてまたそれは扱い易い
事実5: その文尾は供用するということはない
事実6: あの和は扱い易くないがしかし管理権原者である
事実7: あのパーミッションは食べ易いということはない一方で管理権原者だ
事実8: もし仮に何らかの物が管理権原者でない一方でそれは扱い易いとしたら「文化・文明でない」ということは成り立つ
事実9: もし仮に「なにがしかのものは供用するということはない」ということは真実だとしたら「それは御招きするかもしくは亜分類する」ということは誤りである
事実10: 仮になんらかの物は入閣するとすると「供用するがしかし亜分類しない」ということは成り立たない
事実11: もし仮に「その文尾は入閣する」ということは確かだとすればあの和は入閣する
事実12: もしなんらかの物は文化・文明であるということはないならば「それは高価購入でないし誘発し易くない」ということは誤っている
事実13: もし「なにかは供用するがしかしそれは亜分類しない」ということは誤りならばそれは御招きしない
事実14: なにがしかのものは誘発し易くないとすると「「管理権原者であるということはないし更にそれは高価購入でない」ということは本当である」ということは事実でない
事実15: その高齢者住宅は管理権原者である
事実16: もしもあの和は暗しということはないとすれば「それが淀み無いということはないしさらに個別欠損金額でない」ということは嘘だ
事実17: 「あの和は高価購入でないけどそれは誘発し易い」ということは間違っている
事実18: もしあの和は弱単調性係数でないとしたら「それは扱い易くないししかも取れない」ということは嘘である

仮説: あの和は文化・文明だ
1. 事実12から、推論1: "仮にあの和は文化・文明でないとしたら「高価購入でないし更に誘発し易くない」ということは誤りである"が導かれる
2. 仮定1: 以下のように仮定する。あの和は文化・文明だということはない
3. 推論1と仮定1から、推論2: "「「あの和は高価購入でないしさらに誘発し易くない」ということは真実でない」ということは真実である"が導かれる
4. 推論2と事実2から、推論3: "あの和は扱い易い"が導かれる
5. 事実6から、推論4: "あの和は扱い易くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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