その二．五ＯＺは水晶体後面でなくてしかも擽ったくない
fact1: もし「その二．五ＯＺは抜き難い」ということは事実であるなら「義理回状である」ということは本当だ fact2: 「その二．五ＯＺは補助動作でないがしかしそれは少なし」ということは間違っている fact3: その二．五ＯＺは水晶体後面でない fact4: もしその二．五ＯＺが出奔だとするとそれはビザ切れでない fact5: その二．五ＯＺは義理回状でなくてしかもそれは水晶体後面でない fact6: この性習慣は水晶体後面であるとするとそれは懇談でない fact7: 「その市会議員は双肩であるしかつそれは平安時代末期である」ということは成り立たない fact8: もし「その二．五ＯＺは侵入し易くないけどそれは補助動作である」ということは誤っているとすれば六十二年度でない fact9: もしも「「その二．五ＯＺは逃げ回らない一方で製材する」ということは間違いである」ということは本当であるならば「水晶体後面でない」ということは真実である fact10: もし仮に「その二．五ＯＺは水晶体後面でないし更に擽ったくない」ということは確かでないとしたら「六十二年度だ」ということは事実だ fact11: 「あの構成主義は六十二年度でないけれど躍進だ」ということは成り立たない fact12: もし仮にこの粘土層は出産すれば「公用地でない」ということは事実だ fact13: 仮に「その二．五ＯＺは引き去らないがしかし修得する」ということは成り立たないとしたら「侵入し易くない」ということは確かである fact14: 「「そのＮＯはヌル深度だし水晶体後面である」ということは成り立つ」ということは成り立つということはない fact15: 「その二．五ＯＺは擽ったくないし更にそれは後ろめたくない」ということは成り立たないならばそれは多し fact16: 「その二．五ＯＺは調達しないし意識高揚であるということはない」ということは成り立つ fact17: 「「その二．五ＯＺは侵入し易くないがそれは補助動作である」ということは誤りだ」ということは事実と異ならない fact18: 「その打撃音は擽ったくないがしかしビザ切れだ」ということは偽だ
void -> assump1: 以下のように仮定する。「その二．五ＯＺは水晶体後面でないし擽ったくない」ということは間違いである; fact10 & assump1 -> int1: その二．五ＯＺは六十二年度だ; fact17 & fact8 -> int2: その二．五ＯＺは六十二年度でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact10 & assump1 -> int1: {B}{a}; fact17 & fact8 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし「その二．五ＯＺは抜き難い」ということは事実であるなら「義理回状である」ということは本当だ fact2: 「その二．五ＯＺは補助動作でないがしかしそれは少なし」ということは間違っている fact3: その二．五ＯＺは水晶体後面でない fact4: もしその二．五ＯＺが出奔だとするとそれはビザ切れでない fact5: その二．五ＯＺは義理回状でなくてしかもそれは水晶体後面でない fact6: この性習慣は水晶体後面であるとするとそれは懇談でない fact7: 「その市会議員は双肩であるしかつそれは平安時代末期である」ということは成り立たない fact8: もし「その二．五ＯＺは侵入し易くないけどそれは補助動作である」ということは誤っているとすれば六十二年度でない fact9: もしも「「その二．五ＯＺは逃げ回らない一方で製材する」ということは間違いである」ということは本当であるならば「水晶体後面でない」ということは真実である fact10: もし仮に「その二．五ＯＺは水晶体後面でないし更に擽ったくない」ということは確かでないとしたら「六十二年度だ」ということは事実だ fact11: 「あの構成主義は六十二年度でないけれど躍進だ」ということは成り立たない fact12: もし仮にこの粘土層は出産すれば「公用地でない」ということは事実だ fact13: 仮に「その二．五ＯＺは引き去らないがしかし修得する」ということは成り立たないとしたら「侵入し易くない」ということは確かである fact14: 「「そのＮＯはヌル深度だし水晶体後面である」ということは成り立つ」ということは成り立つということはない fact15: 「その二．五ＯＺは擽ったくないし更にそれは後ろめたくない」ということは成り立たないならばそれは多し fact16: 「その二．五ＯＺは調達しないし意識高揚であるということはない」ということは成り立つ fact17: 「「その二．五ＯＺは侵入し易くないがそれは補助動作である」ということは誤りだ」ということは事実と異ならない fact18: 「その打撃音は擽ったくないがしかしビザ切れだ」ということは偽だ ; $hypothesis$ = その二．五ＯＺは水晶体後面でなくてしかも擽ったくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その二．五ＯＺは水晶体後面でないし擽ったくない」ということは間違いである; fact10 & assump1 -> int1: その二．五ＯＺは六十二年度だ; fact17 & fact8 -> int2: その二．五ＯＺは六十二年度でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし「その二．五ＯＺは抜き難い」ということは事実であるなら「義理回状である」ということは本当だ
事実2: 「その二．五ＯＺは補助動作でないがしかしそれは少なし」ということは間違っている
事実3: その二．五ＯＺは水晶体後面でない
事実4: もしその二．五ＯＺが出奔だとするとそれはビザ切れでない
事実5: その二．五ＯＺは義理回状でなくてしかもそれは水晶体後面でない
事実6: この性習慣は水晶体後面であるとするとそれは懇談でない
事実7: 「その市会議員は双肩であるしかつそれは平安時代末期である」ということは成り立たない
事実8: もし「その二．五ＯＺは侵入し易くないけどそれは補助動作である」ということは誤っているとすれば六十二年度でない
事実9: もしも「「その二．五ＯＺは逃げ回らない一方で製材する」ということは間違いである」ということは本当であるならば「水晶体後面でない」ということは真実である
事実10: もし仮に「その二．五ＯＺは水晶体後面でないし更に擽ったくない」ということは確かでないとしたら「六十二年度だ」ということは事実だ
事実11: 「あの構成主義は六十二年度でないけれど躍進だ」ということは成り立たない
事実12: もし仮にこの粘土層は出産すれば「公用地でない」ということは事実だ
事実13: 仮に「その二．五ＯＺは引き去らないがしかし修得する」ということは成り立たないとしたら「侵入し易くない」ということは確かである
事実14: 「「そのＮＯはヌル深度だし水晶体後面である」ということは成り立つ」ということは成り立つということはない
事実15: 「その二．五ＯＺは擽ったくないし更にそれは後ろめたくない」ということは成り立たないならばそれは多し
事実16: 「その二．五ＯＺは調達しないし意識高揚であるということはない」ということは成り立つ
事実17: 「「その二．五ＯＺは侵入し易くないがそれは補助動作である」ということは誤りだ」ということは事実と異ならない
事実18: 「その打撃音は擽ったくないがしかしビザ切れだ」ということは偽だ

仮説: その二．五ＯＺは水晶体後面でなくてしかも擽ったくない
1. 仮定1: 以下のように仮定する。「その二．五ＯＺは水晶体後面でないし擽ったくない」ということは間違いである
2. 事実10と仮定1から、推論1: "その二．五ＯＺは六十二年度だ"が導かれる
3. 事実17と事実8から、推論2: "その二．五ＯＺは六十二年度でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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