その長期借り入れ金は検分しない
fact1: このアメジストは乗り過ごす fact2: もし仮になにかは関連文献でないがおどろおどろしいとすればそれは十二倍しない fact3: 仮に「このアメジストは乗り過ごす」ということは真実であるとするとその百合根は酸い fact4: あの統括班長は検分しない fact5: もしもあのＲＨが検分しないならばその長期借り入れ金は手強くない fact6: その百合根が利用し始めるししかも集中出来るとすればあのＲＨは女性らしくない fact7: あのＲＨは手強くない fact8: もしあのＲＨが十二倍しないならその長期借り入れ金は手強いということはないがしかし検分する fact9: 仮になんらかのものは酸いとしたら「それは斬奸状でないけれど人懐こい」ということは事実と異なる fact10: もし仮に「その百合根は斬奸状でないが人懐こい」ということは間違いであるとしたら利用し始める fact11: もし仮にあのＲＨが手強くないとすればあの長期借り入れ金は検分しない fact12: もし「あのＲＨは十二倍する一方で手強くない」ということは偽だとしたらその葉緑体は手強くない fact13: もしこのＳイングルが諸神でないが集中出来るとしたらその百合根は集中出来る fact14: もし仮にその長期借り入れ金が手強くないならあのＲＨは検分しない fact15: その長期借り入れ金は手強くない fact16: あのＲＨは検分しない fact17: 女性らしいということはないものは関連文献でない一方でおどろおどろしい
fact11 & fact7 -> hypothesis;
fact11 & fact7 -> hypothesis;
その葉緑体は手強くない
$facts$ = fact1: このアメジストは乗り過ごす fact2: もし仮になにかは関連文献でないがおどろおどろしいとすればそれは十二倍しない fact3: 仮に「このアメジストは乗り過ごす」ということは真実であるとするとその百合根は酸い fact4: あの統括班長は検分しない fact5: もしもあのＲＨが検分しないならばその長期借り入れ金は手強くない fact6: その百合根が利用し始めるししかも集中出来るとすればあのＲＨは女性らしくない fact7: あのＲＨは手強くない fact8: もしあのＲＨが十二倍しないならその長期借り入れ金は手強いということはないがしかし検分する fact9: 仮になんらかのものは酸いとしたら「それは斬奸状でないけれど人懐こい」ということは事実と異なる fact10: もし仮に「その百合根は斬奸状でないが人懐こい」ということは間違いであるとしたら利用し始める fact11: もし仮にあのＲＨが手強くないとすればあの長期借り入れ金は検分しない fact12: もし「あのＲＨは十二倍する一方で手強くない」ということは偽だとしたらその葉緑体は手強くない fact13: もしこのＳイングルが諸神でないが集中出来るとしたらその百合根は集中出来る fact14: もし仮にその長期借り入れ金が手強くないならあのＲＨは検分しない fact15: その長期借り入れ金は手強くない fact16: あのＲＨは検分しない fact17: 女性らしいということはないものは関連文献でない一方でおどろおどろしい ; $hypothesis$ = その長期借り入れ金は検分しない ; $proof$ = 
fact11 & fact7 -> hypothesis; __PROVED__
事実1: このアメジストは乗り過ごす
事実2: もし仮になにかは関連文献でないがおどろおどろしいとすればそれは十二倍しない
事実3: 仮に「このアメジストは乗り過ごす」ということは真実であるとするとその百合根は酸い
事実4: あの統括班長は検分しない
事実5: もしもあのＲＨが検分しないならばその長期借り入れ金は手強くない
事実6: その百合根が利用し始めるししかも集中出来るとすればあのＲＨは女性らしくない
事実7: あのＲＨは手強くない
事実8: もしあのＲＨが十二倍しないならその長期借り入れ金は手強いということはないがしかし検分する
事実9: 仮になんらかのものは酸いとしたら「それは斬奸状でないけれど人懐こい」ということは事実と異なる
事実10: もし仮に「その百合根は斬奸状でないが人懐こい」ということは間違いであるとしたら利用し始める
事実11: もし仮にあのＲＨが手強くないとすればあの長期借り入れ金は検分しない
事実12: もし「あのＲＨは十二倍する一方で手強くない」ということは偽だとしたらその葉緑体は手強くない
事実13: もしこのＳイングルが諸神でないが集中出来るとしたらその百合根は集中出来る
事実14: もし仮にその長期借り入れ金が手強くないならあのＲＨは検分しない
事実15: その長期借り入れ金は手強くない
事実16: あのＲＨは検分しない
事実17: 女性らしいということはないものは関連文献でない一方でおどろおどろしい

仮説: その長期借り入れ金は検分しない
1. 事実11と事実7から、仮説が導かれる

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