「もしもレッドカレーであるならば「抗えない」ということは確かな」物はある
fact1: 「もし仮に浸れば花粉分析だということはない」物はある fact2: 「あの剣芸は抗える」ということは本当であるとしたらそれは白々しいということはない fact3: 「仮にレッドカレーであるとすれば抗える」ものはある fact4: もしあの剣芸がオフセット印刷だとすると口汚いということはない fact5: もし仮にあの剣芸が輸出拡大だとしたらレッドカレーでない fact6: もしあの剣芸が補給すればそれは怒鳴り返さない fact7: 「もし仮に昇格試験であるとすると得易いということはない」物はある fact8: もしもその作り笑いが見難いとしたらそれは予想通りでない fact9: あるものが持ち難いならそれは馬鹿でかくない fact10: 「もし仮に周章狼狽するとすれば鬱陶しかない」物はある fact11: ツイードは騒がない fact12: あの剣芸は抗えるとすると「それは引き比べない」ということは事実だ fact13: 「仮に補給するなら燃料補給でない」ものはある fact14: もし仮にあの剣芸がレッドカレーならば抗えない fact15: 「もしも御教えするとすると「利用し易くない」ということは確かな」物はある fact16: 「昇格試験だとすれば加工出来ない」物はある fact17: あのボスニア時代が抗えれば投降しない fact18: このオーソリティーはレッドカレーであるとしたら通り難くない fact19: 「もしもごついとしたら絶え難くない」物はある fact20: あの剣芸はレッドカレーであるとすると抗える
fact14 -> hypothesis;
「もし仮にツイードならば騒がない」物はある
fact21 -> int1: 仮にその大樹がツイードだとすると騒がない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に浸れば花粉分析だということはない」物はある fact2: 「あの剣芸は抗える」ということは本当であるとしたらそれは白々しいということはない fact3: 「仮にレッドカレーであるとすれば抗える」ものはある fact4: もしあの剣芸がオフセット印刷だとすると口汚いということはない fact5: もし仮にあの剣芸が輸出拡大だとしたらレッドカレーでない fact6: もしあの剣芸が補給すればそれは怒鳴り返さない fact7: 「もし仮に昇格試験であるとすると得易いということはない」物はある fact8: もしもその作り笑いが見難いとしたらそれは予想通りでない fact9: あるものが持ち難いならそれは馬鹿でかくない fact10: 「もし仮に周章狼狽するとすれば鬱陶しかない」物はある fact11: ツイードは騒がない fact12: あの剣芸は抗えるとすると「それは引き比べない」ということは事実だ fact13: 「仮に補給するなら燃料補給でない」ものはある fact14: もし仮にあの剣芸がレッドカレーならば抗えない fact15: 「もしも御教えするとすると「利用し易くない」ということは確かな」物はある fact16: 「昇格試験だとすれば加工出来ない」物はある fact17: あのボスニア時代が抗えれば投降しない fact18: このオーソリティーはレッドカレーであるとしたら通り難くない fact19: 「もしもごついとしたら絶え難くない」物はある fact20: あの剣芸はレッドカレーであるとすると抗える ; $hypothesis$ = 「もしもレッドカレーであるならば「抗えない」ということは確かな」物はある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もし仮に浸れば花粉分析だということはない」物はある
事実2: 「あの剣芸は抗える」ということは本当であるとしたらそれは白々しいということはない
事実3: 「仮にレッドカレーであるとすれば抗える」ものはある
事実4: もしあの剣芸がオフセット印刷だとすると口汚いということはない
事実5: もし仮にあの剣芸が輸出拡大だとしたらレッドカレーでない
事実6: もしあの剣芸が補給すればそれは怒鳴り返さない
事実7: 「もし仮に昇格試験であるとすると得易いということはない」物はある
事実8: もしもその作り笑いが見難いとしたらそれは予想通りでない
事実9: あるものが持ち難いならそれは馬鹿でかくない
事実10: 「もし仮に周章狼狽するとすれば鬱陶しかない」物はある
事実11: ツイードは騒がない
事実12: あの剣芸は抗えるとすると「それは引き比べない」ということは事実だ
事実13: 「仮に補給するなら燃料補給でない」ものはある
事実14: もし仮にあの剣芸がレッドカレーならば抗えない
事実15: 「もしも御教えするとすると「利用し易くない」ということは確かな」物はある
事実16: 「昇格試験だとすれば加工出来ない」物はある
事実17: あのボスニア時代が抗えれば投降しない
事実18: このオーソリティーはレッドカレーであるとしたら通り難くない
事実19: 「もしもごついとしたら絶え難くない」物はある
事実20: あの剣芸はレッドカレーであるとすると抗える

仮説: 「もしもレッドカレーであるならば「抗えない」ということは確かな」物はある
1. 事実14から、仮説が導かれる

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