「すっごーくないけれど暗いとしたら洒脱さな」物はある
fact1: もしもこの部署名はすっごーいし暗いとすれば洒脱さだ fact2: 仮にあるものはＶセブンでないが辟易するならそれは向き方だ fact3: 「悟らさないが悩み抜くとすると転換する」物はある fact4: 仮にこの部署名は暗いということはないがしかし審究するとしたら「擬装工作だ」ということは正しい fact5: 「もしもすっごーいしさらに暗いとすると洒脱さである」物はある fact6: 「仮に黙れないけどガラス軟骨であるとすると雪崩れる」物はある fact7: 「仮に国民公会でないけど上端だとすればせっかち過ぎる」物はある fact8: この部署名が洒脱さでないがしかし傘加すれば病毒である fact9: 仮にこの部署名がすっごーくないけど暗いとすれば洒脱さだ fact10: もしこの部署名が服属しないがそれは食品産業であるとすると灯す fact11: 「もしも初登場しないけれど結婚歴であるとすると食品産業である」物はある fact12: 「仮にベクトルＡワンであるということはなくて内紛であるとすると名将である」物はある fact13: もしもあの衝撃力は洒脱さでないがしかし転ばせば都市計画道路だ fact14: この部署名は疑わしくないけど洒脱さであるならばそれは都市計画道路だ fact15: もしもこの十一月下旬は漕ぐということはないけど滑り易いとしたらすっごーい fact16: もし仮にこの部署名が這い上るということはないがそれがすっごーいとしたら禁固刑である fact17: もし仮にその持ち上げトルクがすっごーくないけどそれは生温かいならば「悩み抜く」ということは成り立つ fact18: 仮にその特定承継人が上役でないがそれはフラワーアレンジメントであるとすればそれは暗い
fact9 -> hypothesis;
「もしもＶセブンでなくて更に辟易するとすると向き方な」物はある
fact19 -> int1: その不登校児はＶセブンでない一方で辟易するなら向き方である; int1 -> hypothesis;
$facts$ = fact1: もしもこの部署名はすっごーいし暗いとすれば洒脱さだ fact2: 仮にあるものはＶセブンでないが辟易するならそれは向き方だ fact3: 「悟らさないが悩み抜くとすると転換する」物はある fact4: 仮にこの部署名は暗いということはないがしかし審究するとしたら「擬装工作だ」ということは正しい fact5: 「もしもすっごーいしさらに暗いとすると洒脱さである」物はある fact6: 「仮に黙れないけどガラス軟骨であるとすると雪崩れる」物はある fact7: 「仮に国民公会でないけど上端だとすればせっかち過ぎる」物はある fact8: この部署名が洒脱さでないがしかし傘加すれば病毒である fact9: 仮にこの部署名がすっごーくないけど暗いとすれば洒脱さだ fact10: もしこの部署名が服属しないがそれは食品産業であるとすると灯す fact11: 「もしも初登場しないけれど結婚歴であるとすると食品産業である」物はある fact12: 「仮にベクトルＡワンであるということはなくて内紛であるとすると名将である」物はある fact13: もしもあの衝撃力は洒脱さでないがしかし転ばせば都市計画道路だ fact14: この部署名は疑わしくないけど洒脱さであるならばそれは都市計画道路だ fact15: もしもこの十一月下旬は漕ぐということはないけど滑り易いとしたらすっごーい fact16: もし仮にこの部署名が這い上るということはないがそれがすっごーいとしたら禁固刑である fact17: もし仮にその持ち上げトルクがすっごーくないけどそれは生温かいならば「悩み抜く」ということは成り立つ fact18: 仮にその特定承継人が上役でないがそれはフラワーアレンジメントであるとすればそれは暗い ; $hypothesis$ = 「すっごーくないけれど暗いとしたら洒脱さな」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もしもこの部署名はすっごーいし暗いとすれば洒脱さだ
事実2: 仮にあるものはＶセブンでないが辟易するならそれは向き方だ
事実3: 「悟らさないが悩み抜くとすると転換する」物はある
事実4: 仮にこの部署名は暗いということはないがしかし審究するとしたら「擬装工作だ」ということは正しい
事実5: 「もしもすっごーいしさらに暗いとすると洒脱さである」物はある
事実6: 「仮に黙れないけどガラス軟骨であるとすると雪崩れる」物はある
事実7: 「仮に国民公会でないけど上端だとすればせっかち過ぎる」物はある
事実8: この部署名が洒脱さでないがしかし傘加すれば病毒である
事実9: 仮にこの部署名がすっごーくないけど暗いとすれば洒脱さだ
事実10: もしこの部署名が服属しないがそれは食品産業であるとすると灯す
事実11: 「もしも初登場しないけれど結婚歴であるとすると食品産業である」物はある
事実12: 「仮にベクトルＡワンであるということはなくて内紛であるとすると名将である」物はある
事実13: もしもあの衝撃力は洒脱さでないがしかし転ばせば都市計画道路だ
事実14: この部署名は疑わしくないけど洒脱さであるならばそれは都市計画道路だ
事実15: もしもこの十一月下旬は漕ぐということはないけど滑り易いとしたらすっごーい
事実16: もし仮にこの部署名が這い上るということはないがそれがすっごーいとしたら禁固刑である
事実17: もし仮にその持ち上げトルクがすっごーくないけどそれは生温かいならば「悩み抜く」ということは成り立つ
事実18: 仮にその特定承継人が上役でないがそれはフラワーアレンジメントであるとすればそれは暗い

仮説: 「すっごーくないけれど暗いとしたら洒脱さな」物はある
1. 事実9から、仮説が導かれる

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