「「もし正しということはなくて加えてなあくないとすればスタンバイしない」ものはある」ということは事実である
fact1: 「もし仮に祖先由来記でなくて費用化するということはないとすれば代位弁済する」物はある fact2: 「もしも正ししさらになあくないとすると「スタンバイしない」ということは成り立つ」物はある fact3: 「もし仮に床しかないしその上遅しということはないならば揺るぎなくない」物はある fact4: もし仮にその体力測定は東奔西走でなくて正しないならば添い寝する fact5: この外国銀行はなあくなくて低くないとしたら皮膚でない fact6: 「もしも顕在化し易いけれど権限不行使でないとすると丸いということはない」ものはある fact7: もしもその体力測定はスタンバイしない一方で徒長枝であるとしたらアメリカらしいということはない fact8: 「「エントリーであるけど塩煎餅でないとしたら祖先由来記でない」ものはある」ということは真実である fact9: 「もし仮に着くしフローラでないとしたら率先でない」物はある fact10: 「仮に正しないし更になあくないならばスタンバイする」物はある fact11: なんらかの物がすだくということはないししかも納入でないならばそれは業務サイクルでない fact12: 仮にその体力測定が正しないし更にそれがなあくないならばスタンバイしない fact13: 「仮に隣接するしその上集まり易いないなら徽章だということはない」ものはある fact14: もし仮にあのアメラジアンがスタンバイする一方で足テビチでないとすればそれは再吸収するということはない fact15: もし仮にその体力測定は灯油ランプでなくて掻き立てないならばスタンバイする fact16: もしその体力測定が届け出用紙でなくてかつそれが子供らしくないとすればそれはスタンバイしない fact17: 「正しないしおまけになあいならスタンバイしない」物はある fact18: 「もし仮に二十五日株価移動平均線でなくてその上光り輝かないとすれば「酔えるということはない」ということは成り立つ」ものはある fact19: 「もし茎葉処理剤でないし時相であるとすれば厳めしくらない」ものはある
fact12 -> hypothesis;
「もし仮にすだかないし納入だということはないとしたら業務サイクルだということはない」ものはある
fact20 -> 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$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もし仮に祖先由来記でなくて費用化するということはないとすれば代位弁済する」物はある
事実2: 「もしも正ししさらになあくないとすると「スタンバイしない」ということは成り立つ」物はある
事実3: 「もし仮に床しかないしその上遅しということはないならば揺るぎなくない」物はある
事実4: もし仮にその体力測定は東奔西走でなくて正しないならば添い寝する
事実5: この外国銀行はなあくなくて低くないとしたら皮膚でない
事実6: 「もしも顕在化し易いけれど権限不行使でないとすると丸いということはない」ものはある
事実7: もしもその体力測定はスタンバイしない一方で徒長枝であるとしたらアメリカらしいということはない
事実8: 「「エントリーであるけど塩煎餅でないとしたら祖先由来記でない」ものはある」ということは真実である
事実9: 「もし仮に着くしフローラでないとしたら率先でない」物はある
事実10: 「仮に正しないし更になあくないならばスタンバイする」物はある
事実11: なんらかの物がすだくということはないししかも納入でないならばそれは業務サイクルでない
事実12: 仮にその体力測定が正しないし更にそれがなあくないならばスタンバイしない
事実13: 「仮に隣接するしその上集まり易いないなら徽章だということはない」ものはある
事実14: もし仮にあのアメラジアンがスタンバイする一方で足テビチでないとすればそれは再吸収するということはない
事実15: もし仮にその体力測定は灯油ランプでなくて掻き立てないならばスタンバイする
事実16: もしその体力測定が届け出用紙でなくてかつそれが子供らしくないとすればそれはスタンバイしない
事実17: 「正しないしおまけになあいならスタンバイしない」物はある
事実18: 「もし仮に二十五日株価移動平均線でなくてその上光り輝かないとすれば「酔えるということはない」ということは成り立つ」ものはある
事実19: 「もし茎葉処理剤でないし時相であるとすれば厳めしくらない」ものはある

仮説: 「「もし正しということはなくて加えてなあくないとすればスタンバイしない」ものはある」ということは事実である
1. 事実12から、仮説が導かれる

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