「「凹凸である」ということは正しい」ものはある
fact1: 仮にあのクライエント自身が調停するけれど餓鬼っぽくないならあの検査・診断は誤解され易くない fact2: 仮にこの生活費以外が空かすならこの纏まり毎は凹凸である fact3: あの鉄工所は二層ＦＰＣだ fact4: 仮に何かは誤解され易くないとすると「それは前書きだということはないかもしくは良いか両方である」ということは誤りである fact5: もしあの検査・診断が餓鬼っぽいならそれは前書きである fact6: あの就業禁止は調停する fact7: もしもあの検査・診断は調停するとすれば「それは前書きであるということはない」ということは真実だ fact8: 仮にあの就業禁止は誤解され易いとすれば「それは良い」ということは確かだ fact9: もし仮にあのクライエント自身が餓鬼っぽいとすると凹凸だ fact10: もしもあの就業禁止は誤解され易くないとしたら「あのクライエント自身は餓鬼っぽいししかも紀元前である」ということは誤りだ fact11: 「「「あのクライエント自身は餓鬼っぽくない一方で紀元前である」ということは嘘だ」ということは成り立つとしたらあのクライエント自身は凹凸だ」ということは成り立つ fact12: 「あの検査・診断は前書きでないかもしくは良いかまたはどちらもである」ということは間違っているならあの就業禁止は前書きだということはない fact13: あの開運出世生身魂は良くない fact14: もしもこの纏まり毎が紀元前ならあのクライエント自身は調停するがそれは餓鬼っぽくない fact15: 仮にあの就業禁止が前書きでないならあの引用・参考文献は前書きだ fact16: もし仮にあの就業禁止は誤解され易いということはないとすると「あのクライエント自身は餓鬼っぽくないけど紀元前である」ということは成り立たない fact17: 全ては前書きである fact18: もし仮にあの就業禁止が良いとしたらあの検査・診断は調停する fact19: あの検査・診断は凹凸でない fact20: あのクライエント自身は府内である fact21: 「あのクライエント自身は餓鬼っぽいし更にそれは紀元前だ」ということは成り立たない fact22: 「あのクライエント自身は餓鬼っぽくないが良い」ということは嘘だ fact23: もしも「あの就業禁止は餓鬼っぽくない一方でそれは紀元前である」ということは成り立たないならば「良い」ということは真実だ
void -> assump1: 以下のように仮定する。あの就業禁止は誤解され易い; fact8 & assump1 -> int1: あの就業禁止は良い; int1 & fact18 -> int2: あの検査・診断は調停する; int2 & fact7 -> int3: あの検査・診断は前書きでない; fact17 -> int4: あの検査・診断は前書きだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの就業禁止は誤解され易くない; int6 & fact16 -> int7: 「あのクライエント自身は餓鬼っぽくないがしかし紀元前だ」ということは間違っている; int7 & fact11 -> int8: あのクライエント自身は凹凸だ; int8 -> hypothesis;
あの引用・参考文献は前書きである
fact24 -> int9: 「仮に「あの検査・診断は誤解され易くない」ということは真実であるとすると「あの検査・診断は前書きでないか良いかあるいは両方だ」ということは成り立たない」ということは本当である;
$facts$ = fact1: 仮にあのクライエント自身が調停するけれど餓鬼っぽくないならあの検査・診断は誤解され易くない fact2: 仮にこの生活費以外が空かすならこの纏まり毎は凹凸である fact3: あの鉄工所は二層ＦＰＣだ fact4: 仮に何かは誤解され易くないとすると「それは前書きだということはないかもしくは良いか両方である」ということは誤りである fact5: もしあの検査・診断が餓鬼っぽいならそれは前書きである fact6: あの就業禁止は調停する fact7: もしもあの検査・診断は調停するとすれば「それは前書きであるということはない」ということは真実だ fact8: 仮にあの就業禁止は誤解され易いとすれば「それは良い」ということは確かだ fact9: もし仮にあのクライエント自身が餓鬼っぽいとすると凹凸だ fact10: もしもあの就業禁止は誤解され易くないとしたら「あのクライエント自身は餓鬼っぽいししかも紀元前である」ということは誤りだ fact11: 「「「あのクライエント自身は餓鬼っぽくない一方で紀元前である」ということは嘘だ」ということは成り立つとしたらあのクライエント自身は凹凸だ」ということは成り立つ fact12: 「あの検査・診断は前書きでないかもしくは良いかまたはどちらもである」ということは間違っているならあの就業禁止は前書きだということはない fact13: あの開運出世生身魂は良くない fact14: もしもこの纏まり毎が紀元前ならあのクライエント自身は調停するがそれは餓鬼っぽくない fact15: 仮にあの就業禁止が前書きでないならあの引用・参考文献は前書きだ fact16: もし仮にあの就業禁止は誤解され易いということはないとすると「あのクライエント自身は餓鬼っぽくないけど紀元前である」ということは成り立たない fact17: 全ては前書きである fact18: もし仮にあの就業禁止が良いとしたらあの検査・診断は調停する fact19: あの検査・診断は凹凸でない fact20: あのクライエント自身は府内である fact21: 「あのクライエント自身は餓鬼っぽいし更にそれは紀元前だ」ということは成り立たない fact22: 「あのクライエント自身は餓鬼っぽくないが良い」ということは嘘だ fact23: もしも「あの就業禁止は餓鬼っぽくない一方でそれは紀元前である」ということは成り立たないならば「良い」ということは真実だ ; $hypothesis$ = 「「凹凸である」ということは正しい」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの就業禁止は誤解され易い; fact8 & assump1 -> int1: あの就業禁止は良い; int1 & fact18 -> int2: あの検査・診断は調停する; int2 & fact7 -> int3: あの検査・診断は前書きでない; fact17 -> int4: あの検査・診断は前書きだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの就業禁止は誤解され易くない; int6 & fact16 -> int7: 「あのクライエント自身は餓鬼っぽくないがしかし紀元前だ」ということは間違っている; int7 & fact11 -> int8: あのクライエント自身は凹凸だ; int8 -> 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: もしも「あの就業禁止は餓鬼っぽくない一方でそれは紀元前である」ということは成り立たないならば「良い」ということは真実だ

仮説: 「「凹凸である」ということは正しい」ものはある
1. 仮定1: 以下のように仮定する。あの就業禁止は誤解され易い
2. 事実8と仮定1から、推論1: "あの就業禁止は良い"が導かれる
3. 推論1と事実18から、推論2: "あの検査・診断は調停する"が導かれる
4. 推論2と事実7から、推論3: "あの検査・診断は前書きでない"が導かれる
5. 事実17から、推論4: "あの検査・診断は前書きだ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの就業禁止は誤解され易くない"が導かれる
8. 推論6と事実16から、推論7: "「あのクライエント自身は餓鬼っぽくないがしかし紀元前だ」ということは間違っている"が導かれる
9. 推論7と事実11から、推論8: "あのクライエント自身は凹凸だ"が導かれる
10. 推論8から、仮説が導かれる

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