このシカゴ商品取り引き所はマットだ
fact1: もしあの夕暮れ時は痛々しくないとしたら「「ネイティブらしくないが攻め立てる」ということは成り立つ」ということは偽である fact2: その乱開発は大阪府行財政計画であるし更に担ぎ出す fact3: もしも何らかの物は傾ぐが攻め立てないならば担ぎ出さない fact4: そのカナダ社会は大腸菌であるかあるいは聞き込むかもしくは両方ともである fact5: 大阪府行財政計画はマットだ fact6: もし仮にあの注釈書が女性科学者でないとするとその乱開発はネイティブらしいしそれは指輪物語である fact7: もしも痛々しい物がネイティブらしいとするとそれは大阪府行財政計画でない fact8: 仮に「とあるものはネイティブらしくない一方で攻め立てる」ということは誤っているとしたらそれは傾ぐということはない fact9: もしも「その話し相手は冗談ぽい」ということは成り立つとすればあの乱開発は痛々しい fact10: もしその乱開発が聞き込むとしたらそれは傾ぐ一方で攻め立てない fact11: なにかは傾がないとしたら「それは担ぎ出すしそれは大阪府行財政計画だということはない」ということは成り立たない fact12: もし仮に「なんらかの物は担ぎ出すけれど大阪府行財政計画でない」ということは事実と異なれば「大阪府行財政計画だ」ということは真実である fact13: その話し相手は申し述べない fact14: 仮にその乱開発が傾げばこのシカゴ商品取り引き所はマットである fact15: もし仮にそのカナダ社会が大腸菌であるとしたらその乱開発は聞き込む fact16: もし仮になにがしかのものは担ぎ出すとすれば「傾がない」ということは成り立たない fact17: 仮にその話し相手が申し述べないとすれば数学化するし冗談ぽい fact18: とあるものが際限無いとすれば女性科学者であるかそれは白っぽくないかまたは両方だ fact19: もしこの推奨が女性科学者であるとしたらあの注釈書は女性科学者でない fact20: この推奨は際限無い
fact2 -> int1: その乱開発は担ぎ出す; fact16 -> int2: 仮にその乱開発が担ぎ出すとしたら傾ぐ; int1 & int2 -> int3: その乱開発は傾ぐ; int3 & fact14 -> hypothesis;
「このシカゴ商品取り引き所はマットでない」ということは成り立つ
fact25 -> int4: もしその乱開発が傾ぐけど攻め立てるということはないとすれば担ぎ出さない; fact31 -> int5: その乱開発が痛々しくてそれがネイティブらしいならそれは大阪府行財政計画でない; fact26 & fact32 -> int6: その話し相手は数学化するし加えて冗談ぽい; int6 -> int7: その話し相手は冗談ぽい; fact28 & int7 -> int8: その乱開発は痛々しい; fact29 -> int9: もし仮にこの推奨が際限無いとするとそれは女性科学者であるかもしくは白っぽくないかあるいは両方である; int9 & fact24 -> int10: 「この推奨は女性科学者であるかもしくはそれは白っぽくない」ということは真実だ;
$facts$ = fact1: もしあの夕暮れ時は痛々しくないとしたら「「ネイティブらしくないが攻め立てる」ということは成り立つ」ということは偽である fact2: その乱開発は大阪府行財政計画であるし更に担ぎ出す fact3: もしも何らかの物は傾ぐが攻め立てないならば担ぎ出さない fact4: そのカナダ社会は大腸菌であるかあるいは聞き込むかもしくは両方ともである fact5: 大阪府行財政計画はマットだ fact6: もし仮にあの注釈書が女性科学者でないとするとその乱開発はネイティブらしいしそれは指輪物語である fact7: もしも痛々しい物がネイティブらしいとするとそれは大阪府行財政計画でない fact8: 仮に「とあるものはネイティブらしくない一方で攻め立てる」ということは誤っているとしたらそれは傾ぐということはない fact9: もしも「その話し相手は冗談ぽい」ということは成り立つとすればあの乱開発は痛々しい fact10: もしその乱開発が聞き込むとしたらそれは傾ぐ一方で攻め立てない fact11: なにかは傾がないとしたら「それは担ぎ出すしそれは大阪府行財政計画だということはない」ということは成り立たない fact12: もし仮に「なんらかの物は担ぎ出すけれど大阪府行財政計画でない」ということは事実と異なれば「大阪府行財政計画だ」ということは真実である fact13: その話し相手は申し述べない fact14: 仮にその乱開発が傾げばこのシカゴ商品取り引き所はマットである fact15: もし仮にそのカナダ社会が大腸菌であるとしたらその乱開発は聞き込む fact16: もし仮になにがしかのものは担ぎ出すとすれば「傾がない」ということは成り立たない fact17: 仮にその話し相手が申し述べないとすれば数学化するし冗談ぽい fact18: とあるものが際限無いとすれば女性科学者であるかそれは白っぽくないかまたは両方だ fact19: もしこの推奨が女性科学者であるとしたらあの注釈書は女性科学者でない fact20: この推奨は際限無い ; $hypothesis$ = このシカゴ商品取り引き所はマットだ ; $proof$ = 
fact2 -> int1: その乱開発は担ぎ出す; fact16 -> int2: 仮にその乱開発が担ぎ出すとしたら傾ぐ; int1 & int2 -> int3: その乱開発は傾ぐ; int3 & fact14 -> hypothesis; __PROVED__
事実1: もしあの夕暮れ時は痛々しくないとしたら「「ネイティブらしくないが攻め立てる」ということは成り立つ」ということは偽である
事実2: その乱開発は大阪府行財政計画であるし更に担ぎ出す
事実3: もしも何らかの物は傾ぐが攻め立てないならば担ぎ出さない
事実4: そのカナダ社会は大腸菌であるかあるいは聞き込むかもしくは両方ともである
事実5: 大阪府行財政計画はマットだ
事実6: もし仮にあの注釈書が女性科学者でないとするとその乱開発はネイティブらしいしそれは指輪物語である
事実7: もしも痛々しい物がネイティブらしいとするとそれは大阪府行財政計画でない
事実8: 仮に「とあるものはネイティブらしくない一方で攻め立てる」ということは誤っているとしたらそれは傾ぐということはない
事実9: もしも「その話し相手は冗談ぽい」ということは成り立つとすればあの乱開発は痛々しい
事実10: もしその乱開発が聞き込むとしたらそれは傾ぐ一方で攻め立てない
事実11: なにかは傾がないとしたら「それは担ぎ出すしそれは大阪府行財政計画だということはない」ということは成り立たない
事実12: もし仮に「なんらかの物は担ぎ出すけれど大阪府行財政計画でない」ということは事実と異なれば「大阪府行財政計画だ」ということは真実である
事実13: その話し相手は申し述べない
事実14: 仮にその乱開発が傾げばこのシカゴ商品取り引き所はマットである
事実15: もし仮にそのカナダ社会が大腸菌であるとしたらその乱開発は聞き込む
事実16: もし仮になにがしかのものは担ぎ出すとすれば「傾がない」ということは成り立たない
事実17: 仮にその話し相手が申し述べないとすれば数学化するし冗談ぽい
事実18: とあるものが際限無いとすれば女性科学者であるかそれは白っぽくないかまたは両方だ
事実19: もしこの推奨が女性科学者であるとしたらあの注釈書は女性科学者でない
事実20: この推奨は際限無い

仮説: このシカゴ商品取り引き所はマットだ
1. 事実2から、推論1: "その乱開発は担ぎ出す"が導かれる
2. 事実16から、推論2: "仮にその乱開発が担ぎ出すとしたら傾ぐ"が導かれる
3. 推論1と推論2から、推論3: "その乱開発は傾ぐ"が導かれる
4. 推論3と事実14から、仮説が導かれる

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