あの実親は牛痘だ
fact1: もし仮に「「あの岡田ファーム監督が痛いしその上産業全体だ」ということは偽である」ということは本当ならそれは広域連合でない fact2: この期間費用は掛け易くない fact3: 青黒いということはないしさらに済ま無いものは迷信深い fact4: もしその二百九十八人中が造立するとしたらあの実親は済ま無い fact5: あの岡田ファーム監督は迷信深くないがそれは産業全体だ fact6: あの実親は広域連合でない fact7: もし仮に何らかの物が済ま無いとすると造立する fact8: もし仮にその二百九十八人中が迷い難くないとするとそれはこそばゆいし当て込む fact9: 「もし仮にこの期間費用は如何わしくないとすれば「その二百九十八人中は迷い難くない」ということは本当である」ということは成り立つ fact10: 「広域連合でない一方で産業全体である」ものはある fact11: 仮に「広域連合だということはなくて更にサムタイムである」ものがあるならその二百九十八人中は造立する fact12: もしあの岡田ファーム監督が牛痘だとするとそれは広域連合だ fact13: 「グルーピングしない」ものはある fact14: あの岡田ファーム監督はサムタイムである fact15: もしこの期間費用は迷い難くないなら「その二百九十八人中は迷い難くない」ということは事実である fact16: もし「とある物は迷信深い」ということは真実であるなら牛痘だ fact17: あの岡田ファーム監督は造立するなら「あの実親は広域連合だ一方でサムタイムでない」ということは誤りだ fact18: こそばゆい物は迷信深い fact19: もし仮に何かは広域連合であるということはないがサムタイムだとすればそれは牛痘でない fact20: もしこの期間費用が掛け易くないならば迷い難くないかもしくはそれは如何わしくないかまたはどちらもである fact21: 「あの岡田ファーム監督は痛くて更に産業全体だ」ということは成り立つということはない fact22: 「この民間需要は苦しいしまた青黒い」ということは正しくない fact23: あの実親は青黒くない
fact1 & fact21 -> int1: あの岡田ファーム監督は広域連合でない; int1 & fact14 -> int2: あの岡田ファーム監督は広域連合であるということはない一方でサムタイムだ; int2 -> int3: 「なんらかの物は広域連合でない一方でサムタイムである」ということは成り立つ; int3 & fact11 -> int4: その二百九十八人中は造立する; int4 & fact4 -> int5: あの実親は済ま無い; int5 & fact23 -> int6: あの実親は青黒いということはない一方で済ま無い; fact3 -> int7: もしあの実親は青黒いということはないけど済ま無いとすれば迷信深い; int6 & int7 -> int8: 「あの実親は迷信深い」ということは間違いでない; fact16 -> int9: もしもあの実親が迷信深いとすれば牛痘である; int8 & int9 -> hypothesis;
あの実親は牛痘でない
fact24 -> int10: もしあの実親は広域連合でない一方でサムタイムなら「牛痘でない」ということは正しい;
$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$ = 
fact1 & fact21 -> int1: あの岡田ファーム監督は広域連合でない; int1 & fact14 -> int2: あの岡田ファーム監督は広域連合であるということはない一方でサムタイムだ; int2 -> int3: 「なんらかの物は広域連合でない一方でサムタイムである」ということは成り立つ; int3 & fact11 -> int4: その二百九十八人中は造立する; int4 & fact4 -> int5: あの実親は済ま無い; int5 & fact23 -> int6: あの実親は青黒いということはない一方で済ま無い; fact3 -> int7: もしあの実親は青黒いということはないけど済ま無いとすれば迷信深い; int6 & int7 -> int8: 「あの実親は迷信深い」ということは間違いでない; fact16 -> int9: もしもあの実親が迷信深いとすれば牛痘である; int8 & int9 -> 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と事実21から、推論1: "あの岡田ファーム監督は広域連合でない"が導かれる
2. 推論1と事実14から、推論2: "あの岡田ファーム監督は広域連合であるということはない一方でサムタイムだ"が導かれる
3. 推論2から、推論3: "「なんらかの物は広域連合でない一方でサムタイムである」ということは成り立つ"が導かれる
4. 推論3と事実11から、推論4: "その二百九十八人中は造立する"が導かれる
5. 推論4と事実4から、推論5: "あの実親は済ま無い"が導かれる
6. 推論5と事実23から、推論6: "あの実親は青黒いということはない一方で済ま無い"が導かれる
7. 事実3から、推論7: "もしあの実親は青黒いということはないけど済ま無いとすれば迷信深い"が導かれる
8. 推論6と推論7から、推論8: "「あの実親は迷信深い」ということは間違いでない"が導かれる
9. 事実16から、推論9: "もしもあの実親が迷信深いとすれば牛痘である"が導かれる
10. 推論8と推論9から、仮説が導かれる

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