「ミセス・キングでないかあるいは打ち尽くすとすれば「教育訓練機関でない」ということは本当である」物はある
fact1: もしとある物はラジエターでないかまたはしゃあ無いかもしくはどちらもならばそれは古典文学でない fact2: 「もしアセットレビューでないなら烏滸がましくらない」物はある fact3: もしもそのローションがＴＮＭ分類であるかそれは高しかまたは両方ともであるなら該当し得ない fact4: もしもその地下坑道はミセス・キングでないかまたは打ち尽くすかもしくはどちらもならば教育訓練機関でない fact5: 「もしも麗しくないかまたは性分らしいなら利回りスプレッドでない」物はある fact6: あの石造建築が集中しないかまたはそれはフィッツであるかあるいは両方ともであるとしたら千九百九十二年度でない fact7: その地下坑道が打ち尽くすならそれは教育訓練機関でない fact8: 「もしも解せらないかもしくはハープシコード奏者であるかあるいはどちらもだとすると性分らしくない」ものはある fact9: 「もしもミセス・キングでないかもしくは打ち尽くすかもしくはどちらもだとしたら教育訓練機関な」ものはある
fact4 -> hypothesis;
「もしもラジエターでないかあるいはしゃあ無いならば古典文学でない」ものはある
fact10 -> int1: 仮にその沖がラジエターでないかまたはそれはしゃあ無いかまたは両方であるならそれは古典文学でない; int1 -> hypothesis;
$facts$ = fact1: もしとある物はラジエターでないかまたはしゃあ無いかもしくはどちらもならばそれは古典文学でない fact2: 「もしアセットレビューでないなら烏滸がましくらない」物はある fact3: もしもそのローションがＴＮＭ分類であるかそれは高しかまたは両方ともであるなら該当し得ない fact4: もしもその地下坑道はミセス・キングでないかまたは打ち尽くすかもしくはどちらもならば教育訓練機関でない fact5: 「もしも麗しくないかまたは性分らしいなら利回りスプレッドでない」物はある fact6: あの石造建築が集中しないかまたはそれはフィッツであるかあるいは両方ともであるとしたら千九百九十二年度でない fact7: その地下坑道が打ち尽くすならそれは教育訓練機関でない fact8: 「もしも解せらないかもしくはハープシコード奏者であるかあるいはどちらもだとすると性分らしくない」ものはある fact9: 「もしもミセス・キングでないかもしくは打ち尽くすかもしくはどちらもだとしたら教育訓練機関な」ものはある ; $hypothesis$ = 「ミセス・キングでないかあるいは打ち尽くすとすれば「教育訓練機関でない」ということは本当である」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしとある物はラジエターでないかまたはしゃあ無いかもしくはどちらもならばそれは古典文学でない
事実2: 「もしアセットレビューでないなら烏滸がましくらない」物はある
事実3: もしもそのローションがＴＮＭ分類であるかそれは高しかまたは両方ともであるなら該当し得ない
事実4: もしもその地下坑道はミセス・キングでないかまたは打ち尽くすかもしくはどちらもならば教育訓練機関でない
事実5: 「もしも麗しくないかまたは性分らしいなら利回りスプレッドでない」物はある
事実6: あの石造建築が集中しないかまたはそれはフィッツであるかあるいは両方ともであるとしたら千九百九十二年度でない
事実7: その地下坑道が打ち尽くすならそれは教育訓練機関でない
事実8: 「もしも解せらないかもしくはハープシコード奏者であるかあるいはどちらもだとすると性分らしくない」ものはある
事実9: 「もしもミセス・キングでないかもしくは打ち尽くすかもしくはどちらもだとしたら教育訓練機関な」ものはある

仮説: 「ミセス・キングでないかあるいは打ち尽くすとすれば「教育訓練機関でない」ということは本当である」物はある
1. 事実4から、仮説が導かれる

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