「「そつ無いかあるいは情報プロセサーモデルだ」ということは確かであるということはない」物はある
fact1: なにがしかのものはそつ無いかまたはそれは情報プロセサーモデルであるかどちらもだ fact2: もし仮にそのヴィーナスフォートが東インド会社であるかもしくは発砲音でないかまたは両方ともであるとすればこの古代文化は発砲音でない fact3: 「「情報プロセサーモデルでない」ということは成り立つ」物はある fact4: 「あのオランダ靴はそつ無いか悲し」ということは成り立たない fact5: なんらかの物は過程全般でない fact6: ある物は悪いということはないとしたら「そつ無いかあるいはそれは情報プロセサーモデルである」ということは嘘である fact7: 仮にこの収益率予測が攣るないならばあのヴィーナスフォートは東インド会社であるかまたは発砲音でない fact8: 「「発砲音でなくてまた悪い」ということは間違っている」物はある fact9: 「あのミュージアムは従来法であるかもしくはそれは伯父ちゃんであるか両方だ」ということは成り立たない fact10: もしもとある物は悲しないなら「それは移動し易くないけど攣る」ということは偽である fact11: 仮にこの古代文化は悪くないとすると「この十一月初旬は過程全般でないがしかし親しさである」ということは誤りである fact12: もし仮にあるものが川鼠だとすればそれは悲しということはない fact13: もし仮に「「発砲音でないけれど悪い」ということは確かでない」物があるならばあのオランダ靴は悪くない fact14: 「仮になんらかの物は歩み続けないとしたら「信じ始めるかまたはそれは討論するか両方である」ということは嘘だ」ということは事実である fact15: 手際良くないかあるいは悪いということはないものは悪くない fact16: 仮にあのオランダ靴は悪くないとすれば「そつ無くない」ということは偽でない fact17: 仮にとあるものが大人しくないとするとそれはＯＥＭでない fact18: 仮に「この収益率予測は移動し易いということはないがしかし攣る」ということは成り立たないなら攣るない fact19: この収益率予測は川鼠であるかあるいは継続異動職員であるかあるいはどちらもである fact20: 「あのオランダ靴はＰＡＦであるかそれは青いかもしくは両方ともだ」ということは成り立たない
fact6 -> int1: 「あのオランダ靴は悪くない」ということは真実ならば「それはそつ無いかまたは情報プロセサーモデルである」ということは成り立たない; fact8 & fact13 -> int2: あのオランダ靴は悪くない; int1 & int2 -> int3: 「あのオランダ靴はそつ無いかそれは情報プロセサーモデルである」ということは事実と異なる; int3 -> hypothesis;
「「過程全般でないけど親しさである」ということは成り立つということはない」ものはある
fact22 -> int4: 仮にこの古代文化が手際良くないかまたはそれは悪くないかもしくは両方ともであるなら悪いということはない; fact23 -> int5: もし仮にこの収益率予測は悲しないなら「それは移動し易くないしそれは攣る」ということは成り立たない; fact25 -> int6: 仮にこの収益率予測は川鼠だとしたら「悲しない」ということは成り立つ;
$facts$ = fact1: なにがしかのものはそつ無いかまたはそれは情報プロセサーモデルであるかどちらもだ fact2: もし仮にそのヴィーナスフォートが東インド会社であるかもしくは発砲音でないかまたは両方ともであるとすればこの古代文化は発砲音でない fact3: 「「情報プロセサーモデルでない」ということは成り立つ」物はある fact4: 「あのオランダ靴はそつ無いか悲し」ということは成り立たない fact5: なんらかの物は過程全般でない fact6: ある物は悪いということはないとしたら「そつ無いかあるいはそれは情報プロセサーモデルである」ということは嘘である fact7: 仮にこの収益率予測が攣るないならばあのヴィーナスフォートは東インド会社であるかまたは発砲音でない fact8: 「「発砲音でなくてまた悪い」ということは間違っている」物はある fact9: 「あのミュージアムは従来法であるかもしくはそれは伯父ちゃんであるか両方だ」ということは成り立たない fact10: もしもとある物は悲しないなら「それは移動し易くないけど攣る」ということは偽である fact11: 仮にこの古代文化は悪くないとすると「この十一月初旬は過程全般でないがしかし親しさである」ということは誤りである fact12: もし仮にあるものが川鼠だとすればそれは悲しということはない fact13: もし仮に「「発砲音でないけれど悪い」ということは確かでない」物があるならばあのオランダ靴は悪くない fact14: 「仮になんらかの物は歩み続けないとしたら「信じ始めるかまたはそれは討論するか両方である」ということは嘘だ」ということは事実である fact15: 手際良くないかあるいは悪いということはないものは悪くない fact16: 仮にあのオランダ靴は悪くないとすれば「そつ無くない」ということは偽でない fact17: 仮にとあるものが大人しくないとするとそれはＯＥＭでない fact18: 仮に「この収益率予測は移動し易いということはないがしかし攣る」ということは成り立たないなら攣るない fact19: この収益率予測は川鼠であるかあるいは継続異動職員であるかあるいはどちらもである fact20: 「あのオランダ靴はＰＡＦであるかそれは青いかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = 「「そつ無いかあるいは情報プロセサーモデルだ」ということは確かであるということはない」物はある ; $proof$ = 
fact6 -> int1: 「あのオランダ靴は悪くない」ということは真実ならば「それはそつ無いかまたは情報プロセサーモデルである」ということは成り立たない; fact8 & fact13 -> int2: あのオランダ靴は悪くない; int1 & int2 -> int3: 「あのオランダ靴はそつ無いかそれは情報プロセサーモデルである」ということは事実と異なる; int3 -> hypothesis; __PROVED__
事実1: なにがしかのものはそつ無いかまたはそれは情報プロセサーモデルであるかどちらもだ
事実2: もし仮にそのヴィーナスフォートが東インド会社であるかもしくは発砲音でないかまたは両方ともであるとすればこの古代文化は発砲音でない
事実3: 「「情報プロセサーモデルでない」ということは成り立つ」物はある
事実4: 「あのオランダ靴はそつ無いか悲し」ということは成り立たない
事実5: なんらかの物は過程全般でない
事実6: ある物は悪いということはないとしたら「そつ無いかあるいはそれは情報プロセサーモデルである」ということは嘘である
事実7: 仮にこの収益率予測が攣るないならばあのヴィーナスフォートは東インド会社であるかまたは発砲音でない
事実8: 「「発砲音でなくてまた悪い」ということは間違っている」物はある
事実9: 「あのミュージアムは従来法であるかもしくはそれは伯父ちゃんであるか両方だ」ということは成り立たない
事実10: もしもとある物は悲しないなら「それは移動し易くないけど攣る」ということは偽である
事実11: 仮にこの古代文化は悪くないとすると「この十一月初旬は過程全般でないがしかし親しさである」ということは誤りである
事実12: もし仮にあるものが川鼠だとすればそれは悲しということはない
事実13: もし仮に「「発砲音でないけれど悪い」ということは確かでない」物があるならばあのオランダ靴は悪くない
事実14: 「仮になんらかの物は歩み続けないとしたら「信じ始めるかまたはそれは討論するか両方である」ということは嘘だ」ということは事実である
事実15: 手際良くないかあるいは悪いということはないものは悪くない
事実16: 仮にあのオランダ靴は悪くないとすれば「そつ無くない」ということは偽でない
事実17: 仮にとあるものが大人しくないとするとそれはＯＥＭでない
事実18: 仮に「この収益率予測は移動し易いということはないがしかし攣る」ということは成り立たないなら攣るない
事実19: この収益率予測は川鼠であるかあるいは継続異動職員であるかあるいはどちらもである
事実20: 「あのオランダ靴はＰＡＦであるかそれは青いかもしくは両方ともだ」ということは成り立たない

仮説: 「「そつ無いかあるいは情報プロセサーモデルだ」ということは確かであるということはない」物はある
1. 事実6から、推論1: "「あのオランダ靴は悪くない」ということは真実ならば「それはそつ無いかまたは情報プロセサーモデルである」ということは成り立たない"が導かれる
2. 事実8と事実13から、推論2: "あのオランダ靴は悪くない"が導かれる
3. 推論1と推論2から、推論3: "「あのオランダ靴はそつ無いかそれは情報プロセサーモデルである」ということは事実と異なる"が導かれる
4. 推論3から、仮説が導かれる

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