「仮に「台所事情であるか甲高い」ということは確かでないならば落ち難くない」物はある
fact1: 仮に「あの偏在は準占有者であるかまたは落ち難いかまたはどちらもだ」ということは間違いであるとすると心優しい fact2: もし「「なんらかのものは四輪であるかもしくは気高しかあるいは両方だ」ということは事実だ」ということは本当でないとしたら「生活し易い」ということは事実である fact3: 仮にその指導者は落ち難いかもしくは苛立たしいとしたらそれはＡＲＭＡでない fact4: 仮に「何かは御寂しいかあるいはそれは聞き取り易いかもしくは両方ともである」ということは成り立たないとしたら選び出さない fact5: 「もしも「台所事情であるかまたは甲高い」ということは事実と異なるとすると落ち難い」ものはある fact6: 「「もし「運び易いかもしくはキャンプ地であるかあるいは両方だ」ということは偽だとすれば法執でない」物はある」ということは誤っていない fact7: 仮にあの偏在が甲高いか吊り易いとするとそれは病院外でない fact8: 「もし仮に「かどわかすかＩＴＳライフビジョンである」ということは間違いであるなら託さない」物はある fact9: もし仮にあるものが自己批判するかまたはそれは社内業務であるなら安堵し難くない fact10: 「「仮に託すかあるいは運び易いかまたはどちらもだとすれば「事前承認しない」ということは事実な」ものはある」ということは成り立つ fact11: 仮に「とあるものは広しか散策するかどちらもである」ということは成り立つということはないとしたら対戦しない fact12: あの偏在は例外無いか物珍しいかまたは両方ともならそれは行い易いない fact13: もし仮に「この金券ショップは文書化出来るかまたはそれはベルビューであるかまたは両方である」ということは成り立たないならば甲高くない fact14: 仮に「あの群集心理はウルトラクリーンテクノロジであるか甲高い」ということは成り立たないとすればそれは報告する fact15: もし「なにかは台所事情であるか甲高いか両方だ」ということは間違いだとしたら落ち難くない fact16: もし「あの偏在は甲高いかまたは淡い」ということは成り立たないとすればそれはＣ棟である fact17: もし仮にあの偏在は帝国であるかもしくは言い過ぎるかもしくは両方ともであるとしたら落ち難いということはない fact18: もし仮に「ある物はキャンプ地であるかもしくは準占有者だ」ということは正しいとすると代読しない fact19: 「「この救急疾患は化すかまたはそれは甲高い」ということは成り立つ」ということは嘘だとすると追える
fact15 -> int1: 「あの偏在は台所事情であるかそれは甲高いかもしくはどちらもだ」ということは成り立たないとするとそれは落ち難くない; int1 -> hypothesis;
$facts$ = fact1: 仮に「あの偏在は準占有者であるかまたは落ち難いかまたはどちらもだ」ということは間違いであるとすると心優しい fact2: もし「「なんらかのものは四輪であるかもしくは気高しかあるいは両方だ」ということは事実だ」ということは本当でないとしたら「生活し易い」ということは事実である fact3: 仮にその指導者は落ち難いかもしくは苛立たしいとしたらそれはＡＲＭＡでない fact4: 仮に「何かは御寂しいかあるいはそれは聞き取り易いかもしくは両方ともである」ということは成り立たないとしたら選び出さない fact5: 「もしも「台所事情であるかまたは甲高い」ということは事実と異なるとすると落ち難い」ものはある fact6: 「「もし「運び易いかもしくはキャンプ地であるかあるいは両方だ」ということは偽だとすれば法執でない」物はある」ということは誤っていない fact7: 仮にあの偏在が甲高いか吊り易いとするとそれは病院外でない fact8: 「もし仮に「かどわかすかＩＴＳライフビジョンである」ということは間違いであるなら託さない」物はある fact9: もし仮にあるものが自己批判するかまたはそれは社内業務であるなら安堵し難くない fact10: 「「仮に託すかあるいは運び易いかまたはどちらもだとすれば「事前承認しない」ということは事実な」ものはある」ということは成り立つ fact11: 仮に「とあるものは広しか散策するかどちらもである」ということは成り立つということはないとしたら対戦しない fact12: あの偏在は例外無いか物珍しいかまたは両方ともならそれは行い易いない fact13: もし仮に「この金券ショップは文書化出来るかまたはそれはベルビューであるかまたは両方である」ということは成り立たないならば甲高くない fact14: 仮に「あの群集心理はウルトラクリーンテクノロジであるか甲高い」ということは成り立たないとすればそれは報告する fact15: もし「なにかは台所事情であるか甲高いか両方だ」ということは間違いだとしたら落ち難くない fact16: もし「あの偏在は甲高いかまたは淡い」ということは成り立たないとすればそれはＣ棟である fact17: もし仮にあの偏在は帝国であるかもしくは言い過ぎるかもしくは両方ともであるとしたら落ち難いということはない fact18: もし仮に「ある物はキャンプ地であるかもしくは準占有者だ」ということは正しいとすると代読しない fact19: 「「この救急疾患は化すかまたはそれは甲高い」ということは成り立つ」ということは嘘だとすると追える ; $hypothesis$ = 「仮に「台所事情であるか甲高い」ということは確かでないならば落ち難くない」物はある ; $proof$ = 
fact15 -> int1: 「あの偏在は台所事情であるかそれは甲高いかもしくはどちらもだ」ということは成り立たないとするとそれは落ち難くない; int1 -> hypothesis; __PROVED__
事実1: 仮に「あの偏在は準占有者であるかまたは落ち難いかまたはどちらもだ」ということは間違いであるとすると心優しい
事実2: もし「「なんらかのものは四輪であるかもしくは気高しかあるいは両方だ」ということは事実だ」ということは本当でないとしたら「生活し易い」ということは事実である
事実3: 仮にその指導者は落ち難いかもしくは苛立たしいとしたらそれはＡＲＭＡでない
事実4: 仮に「何かは御寂しいかあるいはそれは聞き取り易いかもしくは両方ともである」ということは成り立たないとしたら選び出さない
事実5: 「もしも「台所事情であるかまたは甲高い」ということは事実と異なるとすると落ち難い」ものはある
事実6: 「「もし「運び易いかもしくはキャンプ地であるかあるいは両方だ」ということは偽だとすれば法執でない」物はある」ということは誤っていない
事実7: 仮にあの偏在が甲高いか吊り易いとするとそれは病院外でない
事実8: 「もし仮に「かどわかすかＩＴＳライフビジョンである」ということは間違いであるなら託さない」物はある
事実9: もし仮にあるものが自己批判するかまたはそれは社内業務であるなら安堵し難くない
事実10: 「「仮に託すかあるいは運び易いかまたはどちらもだとすれば「事前承認しない」ということは事実な」ものはある」ということは成り立つ
事実11: 仮に「とあるものは広しか散策するかどちらもである」ということは成り立つということはないとしたら対戦しない
事実12: あの偏在は例外無いか物珍しいかまたは両方ともならそれは行い易いない
事実13: もし仮に「この金券ショップは文書化出来るかまたはそれはベルビューであるかまたは両方である」ということは成り立たないならば甲高くない
事実14: 仮に「あの群集心理はウルトラクリーンテクノロジであるか甲高い」ということは成り立たないとすればそれは報告する
事実15: もし「なにかは台所事情であるか甲高いか両方だ」ということは間違いだとしたら落ち難くない
事実16: もし「あの偏在は甲高いかまたは淡い」ということは成り立たないとすればそれはＣ棟である
事実17: もし仮にあの偏在は帝国であるかもしくは言い過ぎるかもしくは両方ともであるとしたら落ち難いということはない
事実18: もし仮に「ある物はキャンプ地であるかもしくは準占有者だ」ということは正しいとすると代読しない
事実19: 「「この救急疾患は化すかまたはそれは甲高い」ということは成り立つ」ということは嘘だとすると追える

仮説: 「仮に「台所事情であるか甲高い」ということは確かでないならば落ち難くない」物はある
1. 事実15から、推論1: "「あの偏在は台所事情であるかそれは甲高いかもしくはどちらもだ」ということは成り立たないとするとそれは落ち難くない"が導かれる
2. 推論1から、仮説が導かれる

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