「もし「設立するかまたはどぎつかないかまたは両方だ」ということは間違いなら略取しない」物はある
fact1: もしなんらかの物は設立するかどぎつかないかあるいはどちらもならそれは略取するない fact2: 仮に「あるものは設立するかあるいはどぎつかないか両方だ」ということは事実と異なるとすれば略取しない fact3: もし「この事業計画等は設立するかまたはどぎつい」ということは偽であるならば「それは略取するということはない」ということは成り立つ fact4: 「なんらかのものは設立するかまたはそれはどぎつかない」ということは誤っているとすればそれは略取する fact5: 「もしも「設立するかどぎついかまたは両方ともである」ということは成り立たないとすれば略取しない」物はある fact6: 「「仮に「こそばゆいかとろ臭いかまたはどちらもだ」ということは偽であるとすれば信じ易くない」ものはある」ということは確かである fact7: もし仮に「この事業計画等は設立するかもしくはどぎつかないかあるいは両方ともだ」ということは真実であるとしたら「それは略取しない」ということは真実だ fact8: もしこの事業計画等が安っぽいかまたはそれは売却益であるということはないかもしくは両方ともであるとするとそれは設立しない fact9: 「もし「ヨーグルトであるかもしくは起こし難くないかどちらもである」ということは嘘だとすれば発動でない」物はある
fact2 -> int1: もし「この事業計画等は設立するかもしくはどぎついということはないか両方ともだ」ということは成り立つということはないならばそれは略取しない; int1 -> hypothesis;
$facts$ = fact1: もしなんらかの物は設立するかどぎつかないかあるいはどちらもならそれは略取するない fact2: 仮に「あるものは設立するかあるいはどぎつかないか両方だ」ということは事実と異なるとすれば略取しない fact3: もし「この事業計画等は設立するかまたはどぎつい」ということは偽であるならば「それは略取するということはない」ということは成り立つ fact4: 「なんらかのものは設立するかまたはそれはどぎつかない」ということは誤っているとすればそれは略取する fact5: 「もしも「設立するかどぎついかまたは両方ともである」ということは成り立たないとすれば略取しない」物はある fact6: 「「仮に「こそばゆいかとろ臭いかまたはどちらもだ」ということは偽であるとすれば信じ易くない」ものはある」ということは確かである fact7: もし仮に「この事業計画等は設立するかもしくはどぎつかないかあるいは両方ともだ」ということは真実であるとしたら「それは略取しない」ということは真実だ fact8: もしこの事業計画等が安っぽいかまたはそれは売却益であるということはないかもしくは両方ともであるとするとそれは設立しない fact9: 「もし「ヨーグルトであるかもしくは起こし難くないかどちらもである」ということは嘘だとすれば発動でない」物はある ; $hypothesis$ = 「もし「設立するかまたはどぎつかないかまたは両方だ」ということは間違いなら略取しない」物はある ; $proof$ = 
fact2 -> int1: もし「この事業計画等は設立するかもしくはどぎついということはないか両方ともだ」ということは成り立つということはないならばそれは略取しない; int1 -> hypothesis; __PROVED__
事実1: もしなんらかの物は設立するかどぎつかないかあるいはどちらもならそれは略取するない
事実2: 仮に「あるものは設立するかあるいはどぎつかないか両方だ」ということは事実と異なるとすれば略取しない
事実3: もし「この事業計画等は設立するかまたはどぎつい」ということは偽であるならば「それは略取するということはない」ということは成り立つ
事実4: 「なんらかのものは設立するかまたはそれはどぎつかない」ということは誤っているとすればそれは略取する
事実5: 「もしも「設立するかどぎついかまたは両方ともである」ということは成り立たないとすれば略取しない」物はある
事実6: 「「仮に「こそばゆいかとろ臭いかまたはどちらもだ」ということは偽であるとすれば信じ易くない」ものはある」ということは確かである
事実7: もし仮に「この事業計画等は設立するかもしくはどぎつかないかあるいは両方ともだ」ということは真実であるとしたら「それは略取しない」ということは真実だ
事実8: もしこの事業計画等が安っぽいかまたはそれは売却益であるということはないかもしくは両方ともであるとするとそれは設立しない
事実9: 「もし「ヨーグルトであるかもしくは起こし難くないかどちらもである」ということは嘘だとすれば発動でない」物はある

仮説: 「もし「設立するかまたはどぎつかないかまたは両方だ」ということは間違いなら略取しない」物はある
1. 事実2から、推論1: "もし「この事業計画等は設立するかもしくはどぎついということはないか両方ともだ」ということは成り立つということはないならばそれは略取しない"が導かれる
2. 推論1から、仮説が導かれる

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