あの理論研究は総事業費である
fact1: 仮に「この日本型は自首するということはないが握り締める」ということは誤りだとするとその競馬は合わせ易くない fact2: もしも染み込み易い物はあるとすると「その競馬は自首するしそれは和気だ」ということは成り立たない fact3: もし仮にこの日本型は握り締めないとすると「和気だ」ということは事実である fact4: 仮にこの日本型が振り見るしさらに総事業費であるとすれば「あの理論研究は総事業費でない」ということは真実だ fact5: もし仮になにかは染み込み易いとすると「その競馬は自首しないが和気である」ということは成り立つということはない fact6: もしこの日本型が振り見ないならそれは合わせ易いかもしくはそれは握り締めるということはないか両方ともだ fact7: 仮になんらかの物は自首するとすると「この日本型は総事業費でないけど合わせ易い」ということは成り立つということはない fact8: もしも「自首する」物はあれば「その競馬は総事業費でないけれど潔し」ということは間違っている fact9: 仮にこの日本型は合わせ易くないとすれば「それは潔し」ということは事実だ fact10: もし仮にこの日本型が染み込み易いし和気であるとしたらその頭部白癬は和気でない fact11: 仮にあるものが合わせ易いかあるいは握り締めないかどちらもだとすればそれは染み込み易い fact12: その競馬は振り見ない fact13: もし仮に何かは総事業費だとすれば「潔しということはないがしかし自首する」ということは成り立たない fact14: もし仮に「あの蛙股は潔しない」ということは成り立つならばあの理論研究は総事業費だ fact15: その競馬は染み込み易いかまたはそれは自首しないかもしくはどちらもである fact16: 「この日本型は暮らし易いということはないかもしくはそれは懐っこい」ということは事実と異なるとしたらそれは和気でない fact17: あの蛙股は総事業費であるかあるいはセックスセラピストである fact18: あの蛙股は潔しかまたはそれは染み込み易いということはない fact19: もし仮に「この日本型は和気であるということはない」ということは事実だとしたらそれは振り見るしそれにそれは自首する fact20: あの特定政党は振り見ない fact21: 「その競馬は自首しないけれどそれは和気である」ということは嘘であるならあの蛙股は潔しない fact22: もしも「とある物は劇世界でない」ということは事実であるならばそれは診療する fact23: 「あの主演は言葉通りである」ということは本当であるとすれば「あの理論研究は暮らし易くないが懐っこい」ということは間違いだ fact24: あの主演は言葉通りである fact25: この日本型は振り見ない
fact6 & fact25 -> int1: この日本型は合わせ易いかあるいは握り締めるということはない; fact11 -> int2: 仮に「この日本型は合わせ易いかあるいは握り締めないかもしくは両方ともだ」ということは確かであるとしたら染み込み易い; int1 & int2 -> int3: この日本型は染み込み易い; int3 -> int4: 染み込み易い物はある; int4 & fact5 -> int5: 「その競馬は自首しないがしかしそれは和気である」ということは成り立たない; int5 & fact21 -> int6: あの蛙股は潔しということはない; int6 & fact14 -> hypothesis;
その頭部白癬は和気でない
fact26 -> int7: 仮にあの蛙股は総事業費だとすれば「それは潔しないが自首する」ということは成り立つということはない; fact29 & fact27 -> int8: 「あの理論研究は暮らし易くないけれど懐っこい」ということは誤りである; int8 -> 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: 「あの主演は言葉通りである」ということは本当であるとすれば「あの理論研究は暮らし易くないが懐っこい」ということは間違いだ fact24: あの主演は言葉通りである fact25: この日本型は振り見ない ; $hypothesis$ = あの理論研究は総事業費である ; $proof$ = 
fact6 & fact25 -> int1: この日本型は合わせ易いかあるいは握り締めるということはない; fact11 -> int2: 仮に「この日本型は合わせ易いかあるいは握り締めないかもしくは両方ともだ」ということは確かであるとしたら染み込み易い; int1 & int2 -> int3: この日本型は染み込み易い; int3 -> int4: 染み込み易い物はある; int4 & fact5 -> int5: 「その競馬は自首しないがしかしそれは和気である」ということは成り立たない; int5 & fact21 -> int6: あの蛙股は潔しということはない; int6 & fact14 -> 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: 「あの主演は言葉通りである」ということは本当であるとすれば「あの理論研究は暮らし易くないが懐っこい」ということは間違いだ
事実24: あの主演は言葉通りである
事実25: この日本型は振り見ない

仮説: あの理論研究は総事業費である
1. 事実6と事実25から、推論1: "この日本型は合わせ易いかあるいは握り締めるということはない"が導かれる
2. 事実11から、推論2: "仮に「この日本型は合わせ易いかあるいは握り締めないかもしくは両方ともだ」ということは確かであるとしたら染み込み易い"が導かれる
3. 推論1と推論2から、推論3: "この日本型は染み込み易い"が導かれる
4. 推論3から、推論4: "染み込み易い物はある"が導かれる
5. 推論4と事実5から、推論5: "「その競馬は自首しないがしかしそれは和気である」ということは成り立たない"が導かれる
6. 推論5と事実21から、推論6: "あの蛙股は潔しということはない"が導かれる
7. 推論6と事実14から、仮説が導かれる

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