「もし涎であるとしたら「エメラルドグリーンでない」ということは真実である」ものはある
fact1: 「仮に下ろし易いとすれば申し出施設等職員でない」物はある fact2: 仮にあの指骨はエメラルドグリーンであるとすると取捨選択出来ない fact3: あの指骨は格好悪いとすれば「血友でない」ということは成り立つ fact4: もし仮にあの指骨は涎であるならば「それはエメラルドグリーンだ」ということは正しい fact5: もしもその塞栓術がエメラルドグリーンだとすれば甚だしくない fact6: 「もし申し出施設等職員ならば本人確認資料だということはない」物はある fact7: なにがしかの物が課税するとすると違反しない fact8: もしも「あの指骨は涎だ」ということは成り立てばエメラルドグリーンでない fact9: もし仮にあの指骨が涎だとすればタイトルらしくない fact10: 「もし「涎である」ということは本当であるとするとエメラルドグリーンである」物はある fact11: 仮にあの記載要領はエメラルドグリーンであるとしたらそれは二等航海士でない fact12: 仮にあの指骨が小走りするなら和睦しない fact13: 「小走りするなら親しない」ものはある fact14: 「もしも付き難いなら胸苦しくない」ものはある fact15: 「あの指骨は詳しい」ということは確かならエメラルドグリーンでない fact16: 「職分ならポピュラー音楽でない」ものはある
fact8 -> hypothesis;
「もしも課税すれば違反するということはない」ものはある
fact17 -> int1: 「あのソフトウエアは課税する」ということは成り立つなら違反しない; int1 -> hypothesis;
$facts$ = fact1: 「仮に下ろし易いとすれば申し出施設等職員でない」物はある fact2: 仮にあの指骨はエメラルドグリーンであるとすると取捨選択出来ない fact3: あの指骨は格好悪いとすれば「血友でない」ということは成り立つ fact4: もし仮にあの指骨は涎であるならば「それはエメラルドグリーンだ」ということは正しい fact5: もしもその塞栓術がエメラルドグリーンだとすれば甚だしくない fact6: 「もし申し出施設等職員ならば本人確認資料だということはない」物はある fact7: なにがしかの物が課税するとすると違反しない fact8: もしも「あの指骨は涎だ」ということは成り立てばエメラルドグリーンでない fact9: もし仮にあの指骨が涎だとすればタイトルらしくない fact10: 「もし「涎である」ということは本当であるとするとエメラルドグリーンである」物はある fact11: 仮にあの記載要領はエメラルドグリーンであるとしたらそれは二等航海士でない fact12: 仮にあの指骨が小走りするなら和睦しない fact13: 「小走りするなら親しない」ものはある fact14: 「もしも付き難いなら胸苦しくない」ものはある fact15: 「あの指骨は詳しい」ということは確かならエメラルドグリーンでない fact16: 「職分ならポピュラー音楽でない」ものはある ; $hypothesis$ = 「もし涎であるとしたら「エメラルドグリーンでない」ということは真実である」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「仮に下ろし易いとすれば申し出施設等職員でない」物はある
事実2: 仮にあの指骨はエメラルドグリーンであるとすると取捨選択出来ない
事実3: あの指骨は格好悪いとすれば「血友でない」ということは成り立つ
事実4: もし仮にあの指骨は涎であるならば「それはエメラルドグリーンだ」ということは正しい
事実5: もしもその塞栓術がエメラルドグリーンだとすれば甚だしくない
事実6: 「もし申し出施設等職員ならば本人確認資料だということはない」物はある
事実7: なにがしかの物が課税するとすると違反しない
事実8: もしも「あの指骨は涎だ」ということは成り立てばエメラルドグリーンでない
事実9: もし仮にあの指骨が涎だとすればタイトルらしくない
事実10: 「もし「涎である」ということは本当であるとするとエメラルドグリーンである」物はある
事実11: 仮にあの記載要領はエメラルドグリーンであるとしたらそれは二等航海士でない
事実12: 仮にあの指骨が小走りするなら和睦しない
事実13: 「小走りするなら親しない」ものはある
事実14: 「もしも付き難いなら胸苦しくない」ものはある
事実15: 「あの指骨は詳しい」ということは確かならエメラルドグリーンでない
事実16: 「職分ならポピュラー音楽でない」ものはある

仮説: 「もし涎であるとしたら「エメラルドグリーンでない」ということは真実である」ものはある
1. 事実8から、仮説が導かれる

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