「凝らす」ものはある
fact1: もしもあの日銀引き受けがバイオ・ゲノムならばそれは抗し難くない fact2: もし仮に「あの日銀引き受けはバイオ・ゲノムだ」ということは成り立てば抗し難くないしそれは親らしくない fact3: もしもとあるものは水試であるとしたら餡インストールする fact4: あの日銀引き受けは帳面だということはないけどコーポレートガバナンスならそれは動かし難いということはない fact5: 仮に抗し難くない物が親らしくないならばそれは出来易くない fact6: もしもなにがしかの物がトールだとしたらそれは凝らす fact7: もしもとあるものがバイオ・ゲノムであるということはなくて出来易くないとすればそれは凝らさない fact8: 出来易くない物はトールだ fact9: あの日銀引き受けは抗し難くない fact10: 抗し難い物は親らしくないとすれば「それは出来易くない」ということは確かである fact11: もしあの日銀引き受けが投資ファンドならば上書き保存する fact12: あの日銀引き受けは抗し難いが親らしいということはないならば「出来易くない」ということは真実である fact13: あの日銀引き受けはバイオ・ゲノムだ fact14: 「その逆目は抗し難い」ということは成り立つ
fact2 & fact13 -> int1: あの日銀引き受けは抗し難くないしその上親らしいない; fact5 -> int2: 仮にあの日銀引き受けは抗し難くないしそれに親らしいということはないとしたら出来易くない; int1 & int2 -> int3: あの日銀引き受けは出来易いということはない; fact8 -> int4: もし仮にあの日銀引き受けが出来易くないならそれはトールである; int3 & int4 -> int5: あの日銀引き受けはトールだ; fact6 -> int6: あの日銀引き受けはトールであるなら凝らす; int5 & int6 -> int7: 「あの日銀引き受けは凝らす」ということは本当だ; int7 -> hypothesis;
$facts$ = fact1: もしもあの日銀引き受けがバイオ・ゲノムならばそれは抗し難くない fact2: もし仮に「あの日銀引き受けはバイオ・ゲノムだ」ということは成り立てば抗し難くないしそれは親らしくない fact3: もしもとあるものは水試であるとしたら餡インストールする fact4: あの日銀引き受けは帳面だということはないけどコーポレートガバナンスならそれは動かし難いということはない fact5: 仮に抗し難くない物が親らしくないならばそれは出来易くない fact6: もしもなにがしかの物がトールだとしたらそれは凝らす fact7: もしもとあるものがバイオ・ゲノムであるということはなくて出来易くないとすればそれは凝らさない fact8: 出来易くない物はトールだ fact9: あの日銀引き受けは抗し難くない fact10: 抗し難い物は親らしくないとすれば「それは出来易くない」ということは確かである fact11: もしあの日銀引き受けが投資ファンドならば上書き保存する fact12: あの日銀引き受けは抗し難いが親らしいということはないならば「出来易くない」ということは真実である fact13: あの日銀引き受けはバイオ・ゲノムだ fact14: 「その逆目は抗し難い」ということは成り立つ ; $hypothesis$ = 「凝らす」ものはある ; $proof$ = 
fact2 & fact13 -> int1: あの日銀引き受けは抗し難くないしその上親らしいない; fact5 -> int2: 仮にあの日銀引き受けは抗し難くないしそれに親らしいということはないとしたら出来易くない; int1 & int2 -> int3: あの日銀引き受けは出来易いということはない; fact8 -> int4: もし仮にあの日銀引き受けが出来易くないならそれはトールである; int3 & int4 -> int5: あの日銀引き受けはトールだ; fact6 -> int6: あの日銀引き受けはトールであるなら凝らす; int5 & int6 -> int7: 「あの日銀引き受けは凝らす」ということは本当だ; int7 -> hypothesis; __PROVED__
事実1: もしもあの日銀引き受けがバイオ・ゲノムならばそれは抗し難くない
事実2: もし仮に「あの日銀引き受けはバイオ・ゲノムだ」ということは成り立てば抗し難くないしそれは親らしくない
事実3: もしもとあるものは水試であるとしたら餡インストールする
事実4: あの日銀引き受けは帳面だということはないけどコーポレートガバナンスならそれは動かし難いということはない
事実5: 仮に抗し難くない物が親らしくないならばそれは出来易くない
事実6: もしもなにがしかの物がトールだとしたらそれは凝らす
事実7: もしもとあるものがバイオ・ゲノムであるということはなくて出来易くないとすればそれは凝らさない
事実8: 出来易くない物はトールだ
事実9: あの日銀引き受けは抗し難くない
事実10: 抗し難い物は親らしくないとすれば「それは出来易くない」ということは確かである
事実11: もしあの日銀引き受けが投資ファンドならば上書き保存する
事実12: あの日銀引き受けは抗し難いが親らしいということはないならば「出来易くない」ということは真実である
事実13: あの日銀引き受けはバイオ・ゲノムだ
事実14: 「その逆目は抗し難い」ということは成り立つ

仮説: 「凝らす」ものはある
1. 事実2と事実13から、推論1: "あの日銀引き受けは抗し難くないしその上親らしいない"が導かれる
2. 事実5から、推論2: "仮にあの日銀引き受けは抗し難くないしそれに親らしいということはないとしたら出来易くない"が導かれる
3. 推論1と推論2から、推論3: "あの日銀引き受けは出来易いということはない"が導かれる
4. 事実8から、推論4: "もし仮にあの日銀引き受けが出来易くないならそれはトールである"が導かれる
5. 推論3と推論4から、推論5: "あの日銀引き受けはトールだ"が導かれる
6. 事実6から、推論6: "あの日銀引き受けはトールであるなら凝らす"が導かれる
7. 推論5と推論6から、推論7: "「あの日銀引き受けは凝らす」ということは本当だ"が導かれる
8. 推論7から、仮説が導かれる

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