この鮨飯は根気強いかグラフエリアであるかもしくは両方だ
fact1: もしこのＣＡＡが人間意思ならこの中国ビジネスは飲み足りない fact2: もし仮にこの鮨飯が根気強くないしさらに与え難くないとすればそれは狙い易い fact3: 何らかのものが水仕事だとすればこのＣＡＡは水仕事であるかまたは人間意思だ fact4: あの女性カメラマンが与え難いとするとそれは世間相場である fact5: もしあのテキスタイルは御止し為さるとすれば「あの女性カメラマンは信じ難い」ということは確かだ fact6: もしもその仕事人が親夫婦でないとすればそれは接近し易いしさらに車海老だ fact7: 「あの女性カメラマンは世間相場でない」ということは成り立てば「この鮨飯は根気強いかあるいはグラフエリアだ」ということは確かでない fact8: 仮に「「御止し為さらなくて信じ難い」ということは偽である」物はあるとしたら「あのテキスタイルは与え難くない」ということは成り立つ fact9: 仮にあるものは遣り易くないとしたら「御止し為さるということはないがしかし信じ難い」ということは誤りである fact10: もし「「下がるし更に法廷警察権である」ということは誤りな」物はあるなら「あの中小企業政策は遣り易いということはない」ということは成り立つ fact11: このＣＡＡが水仕事ならこの中国ビジネスは飲み足りない fact12: もしなんらかの物は車海老ならば「それは敢え無いということはないが鉛業務である」ということは偽である fact13: もし仮にとあるものは飲み足りないとすれば「下がるしそれに法廷警察権だ」ということは成り立たない fact14: もし仮に誤解され易いものが信じ難いならあの女性カメラマンは根気強い fact15: 「あの女性カメラマンは誤解され易くないしまた狙い易くない」ということは事実である fact16: 世間相場が信じ難いとしたらこの鮨飯はグラフエリアだ fact17: あの女性カメラマンは見極め難い fact18: もし「なんらかのものは敢え無くないけどそれは鉛業務だ」ということは成り立たないならば水仕事である fact19: あのテキスタイルは御止し為さる fact20: その仕事人は親夫婦でない fact21: 「仮にあの女性カメラマンが誤解され易いということはないしそれは狙い易くないとすると「あの女性カメラマンは与え難い」ということは真実である」ということは成り立つ
fact21 & fact15 -> int1: あの女性カメラマンは与え難い; int1 & fact4 -> int2: あの女性カメラマンは世間相場だ; fact19 & fact5 -> int3: あの女性カメラマンは信じ難い; int2 & int3 -> int4: あの女性カメラマンは世間相場であるし信じ難い; int4 -> int5: 何らかの物は世間相場だしおまけに信じ難い; int5 & fact16 -> int6: この鮨飯はグラフエリアである; int6 -> hypothesis;
「この鮨飯は根気強いかもしくはそれはグラフエリアであるかあるいはどちらもである」ということは事実だということはない
fact26 -> int7: もしあの中小企業政策は遣り易くないとしたら「御止し為さらないが信じ難い」ということは成り立たない; fact29 -> int8: もし仮にこの中国ビジネスは飲み足りないならば「それは下がるしそれに法廷警察権である」ということは嘘だ; fact33 -> int9: もし「「その仕事人は敢え無くないけど鉛業務である」ということは成り立つということはない」ということは本当であるとすると水仕事だ; fact25 -> int10: もしもその仕事人は車海老であるとすると「それは敢え無くないしそれは鉛業務である」ということは誤りだ; fact24 & fact32 -> int11: その仕事人は接近し易くて加えて車海老である; int11 -> int12: その仕事人は車海老である; int10 & int12 -> int13: 「その仕事人は敢え無くないけれど鉛業務である」ということは偽である; int9 & int13 -> int14: その仕事人は水仕事である; int14 -> int15: 「水仕事な」物はある; int15 & fact27 -> int16: このＣＡＡは水仕事であるか人間意思であるかもしくは両方だ; int16 & fact22 & fact31 -> int17: この中国ビジネスは飲み足りるということはない; int8 & int17 -> int18: 「この中国ビジネスは下がるし法廷警察権である」ということは間違いだ; int18 -> int19: 「「「下がるし法廷警察権である」ということは真実である」ということは誤っている」ものはある; int19 & fact30 -> int20: あの中小企業政策は遣り易くない; int7 & int20 -> int21: 「あの中小企業政策は御止し為さらないがしかしそれは信じ難い」ということは誤っている; int21 -> int22: 「「御止し為さらないしかつ信じ難い」ということは間違っている」ものはある; int22 & fact23 -> int23: あのテキスタイルは与え難いということはない; int23 -> int24: 何らかのものは与え難くない;
$facts$ = fact1: もしこのＣＡＡが人間意思ならこの中国ビジネスは飲み足りない fact2: もし仮にこの鮨飯が根気強くないしさらに与え難くないとすればそれは狙い易い fact3: 何らかのものが水仕事だとすればこのＣＡＡは水仕事であるかまたは人間意思だ fact4: あの女性カメラマンが与え難いとするとそれは世間相場である fact5: もしあのテキスタイルは御止し為さるとすれば「あの女性カメラマンは信じ難い」ということは確かだ fact6: もしもその仕事人が親夫婦でないとすればそれは接近し易いしさらに車海老だ fact7: 「あの女性カメラマンは世間相場でない」ということは成り立てば「この鮨飯は根気強いかあるいはグラフエリアだ」ということは確かでない fact8: 仮に「「御止し為さらなくて信じ難い」ということは偽である」物はあるとしたら「あのテキスタイルは与え難くない」ということは成り立つ fact9: 仮にあるものは遣り易くないとしたら「御止し為さるということはないがしかし信じ難い」ということは誤りである fact10: もし「「下がるし更に法廷警察権である」ということは誤りな」物はあるなら「あの中小企業政策は遣り易いということはない」ということは成り立つ fact11: このＣＡＡが水仕事ならこの中国ビジネスは飲み足りない fact12: もしなんらかの物は車海老ならば「それは敢え無いということはないが鉛業務である」ということは偽である fact13: もし仮にとあるものは飲み足りないとすれば「下がるしそれに法廷警察権だ」ということは成り立たない fact14: もし仮に誤解され易いものが信じ難いならあの女性カメラマンは根気強い fact15: 「あの女性カメラマンは誤解され易くないしまた狙い易くない」ということは事実である fact16: 世間相場が信じ難いとしたらこの鮨飯はグラフエリアだ fact17: あの女性カメラマンは見極め難い fact18: もし「なんらかのものは敢え無くないけどそれは鉛業務だ」ということは成り立たないならば水仕事である fact19: あのテキスタイルは御止し為さる fact20: その仕事人は親夫婦でない fact21: 「仮にあの女性カメラマンが誤解され易いということはないしそれは狙い易くないとすると「あの女性カメラマンは与え難い」ということは真実である」ということは成り立つ ; $hypothesis$ = この鮨飯は根気強いかグラフエリアであるかもしくは両方だ ; $proof$ = 
fact21 & fact15 -> int1: あの女性カメラマンは与え難い; int1 & fact4 -> int2: あの女性カメラマンは世間相場だ; fact19 & fact5 -> int3: あの女性カメラマンは信じ難い; int2 & int3 -> int4: あの女性カメラマンは世間相場であるし信じ難い; int4 -> int5: 何らかの物は世間相場だしおまけに信じ難い; int5 & fact16 -> int6: この鮨飯はグラフエリアである; int6 -> hypothesis; __PROVED__
事実1: もしこのＣＡＡが人間意思ならこの中国ビジネスは飲み足りない
事実2: もし仮にこの鮨飯が根気強くないしさらに与え難くないとすればそれは狙い易い
事実3: 何らかのものが水仕事だとすればこのＣＡＡは水仕事であるかまたは人間意思だ
事実4: あの女性カメラマンが与え難いとするとそれは世間相場である
事実5: もしあのテキスタイルは御止し為さるとすれば「あの女性カメラマンは信じ難い」ということは確かだ
事実6: もしもその仕事人が親夫婦でないとすればそれは接近し易いしさらに車海老だ
事実7: 「あの女性カメラマンは世間相場でない」ということは成り立てば「この鮨飯は根気強いかあるいはグラフエリアだ」ということは確かでない
事実8: 仮に「「御止し為さらなくて信じ難い」ということは偽である」物はあるとしたら「あのテキスタイルは与え難くない」ということは成り立つ
事実9: 仮にあるものは遣り易くないとしたら「御止し為さるということはないがしかし信じ難い」ということは誤りである
事実10: もし「「下がるし更に法廷警察権である」ということは誤りな」物はあるなら「あの中小企業政策は遣り易いということはない」ということは成り立つ
事実11: このＣＡＡが水仕事ならこの中国ビジネスは飲み足りない
事実12: もしなんらかの物は車海老ならば「それは敢え無いということはないが鉛業務である」ということは偽である
事実13: もし仮にとあるものは飲み足りないとすれば「下がるしそれに法廷警察権だ」ということは成り立たない
事実14: もし仮に誤解され易いものが信じ難いならあの女性カメラマンは根気強い
事実15: 「あの女性カメラマンは誤解され易くないしまた狙い易くない」ということは事実である
事実16: 世間相場が信じ難いとしたらこの鮨飯はグラフエリアだ
事実17: あの女性カメラマンは見極め難い
事実18: もし「なんらかのものは敢え無くないけどそれは鉛業務だ」ということは成り立たないならば水仕事である
事実19: あのテキスタイルは御止し為さる
事実20: その仕事人は親夫婦でない
事実21: 「仮にあの女性カメラマンが誤解され易いということはないしそれは狙い易くないとすると「あの女性カメラマンは与え難い」ということは真実である」ということは成り立つ

仮説: この鮨飯は根気強いかグラフエリアであるかもしくは両方だ
1. 事実21と事実15から、推論1: "あの女性カメラマンは与え難い"が導かれる
2. 推論1と事実4から、推論2: "あの女性カメラマンは世間相場だ"が導かれる
3. 事実19と事実5から、推論3: "あの女性カメラマンは信じ難い"が導かれる
4. 推論2と推論3から、推論4: "あの女性カメラマンは世間相場であるし信じ難い"が導かれる
5. 推論4から、推論5: "何らかの物は世間相場だしおまけに信じ難い"が導かれる
6. 推論5と事実16から、推論6: "この鮨飯はグラフエリアである"が導かれる
7. 推論6から、仮説が導かれる

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