「もしも「悩ましい一方でコンテナ船でない」ということは成り立たないならば維持療法な」ものはある
fact1: 「もし仮に悩ましいということはないとすれば維持療法である」ものはある fact2: 「もし「コンテナ船である」ということは真実であるとすれば維持療法な」ものはある fact3: もしも「この橘逸勢等が悩ましいしその上それはコンテナ船だ」ということは成り立たないとしたら維持療法だ fact4: もし仮にこの橘逸勢等が悩ましいということはないならばそれは維持療法である fact5: 仮に「この橘逸勢等は悩ましいけどそれはコンテナ船でない」ということは偽だとしたら維持療法だ fact6: もしも「この連絡帳は維持療法だが起こり易くない」ということは偽であるならそれはデカン洪水玄武岩である fact7: もし仮にこの橘逸勢等が悩ましいけどコンテナ船でないならそれは維持療法である fact8: 「もし仮に「悩ましいがコンテナ船でない」ということは成り立つとすれば維持療法な」ものはある
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: 「もし仮に悩ましいということはないとすれば維持療法である」ものはある fact2: 「もし「コンテナ船である」ということは真実であるとすれば維持療法な」ものはある fact3: もしも「この橘逸勢等が悩ましいしその上それはコンテナ船だ」ということは成り立たないとしたら維持療法だ fact4: もし仮にこの橘逸勢等が悩ましいということはないならばそれは維持療法である fact5: 仮に「この橘逸勢等は悩ましいけどそれはコンテナ船でない」ということは偽だとしたら維持療法だ fact6: もしも「この連絡帳は維持療法だが起こり易くない」ということは偽であるならそれはデカン洪水玄武岩である fact7: もし仮にこの橘逸勢等が悩ましいけどコンテナ船でないならそれは維持療法である fact8: 「もし仮に「悩ましいがコンテナ船でない」ということは成り立つとすれば維持療法な」ものはある ; $hypothesis$ = 「もしも「悩ましい一方でコンテナ船でない」ということは成り立たないならば維持療法な」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮に悩ましいということはないとすれば維持療法である」ものはある
事実2: 「もし「コンテナ船である」ということは真実であるとすれば維持療法な」ものはある
事実3: もしも「この橘逸勢等が悩ましいしその上それはコンテナ船だ」ということは成り立たないとしたら維持療法だ
事実4: もし仮にこの橘逸勢等が悩ましいということはないならばそれは維持療法である
事実5: 仮に「この橘逸勢等は悩ましいけどそれはコンテナ船でない」ということは偽だとしたら維持療法だ
事実6: もしも「この連絡帳は維持療法だが起こり易くない」ということは偽であるならそれはデカン洪水玄武岩である
事実7: もし仮にこの橘逸勢等が悩ましいけどコンテナ船でないならそれは維持療法である
事実8: 「もし仮に「悩ましいがコンテナ船でない」ということは成り立つとすれば維持療法な」ものはある

仮説: 「もしも「悩ましい一方でコンテナ船でない」ということは成り立たないならば維持療法な」ものはある
1. 事実5から、仮説が導かれる

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