「もし仮に解答すれば安くない」ものはある
fact1: 「売るとすれば原初でない」物はある fact2: 「仮にその第一拍が幼いとすればその第一拍は動けない」ということは成り立つ fact3: もし「その第一拍は解答する」ということは本当なら安い fact4: 「もしもイギリス空軍だとすれば影響され易くない」ものはある fact5: もし仮にその第一拍が団長だとすると作詞作曲でない fact6: 「「青っぽいとしたら「穿たない」ということは確かな」物はある」ということは成り立つ fact7: 「もし仮に解答するとすると安い」物はある fact8: 仮にその第一拍が解答するならそれは安くない fact9: もしあの連邦大統領が大人しいとしたら解答するということはない
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: 「売るとすれば原初でない」物はある fact2: 「仮にその第一拍が幼いとすればその第一拍は動けない」ということは成り立つ fact3: もし「その第一拍は解答する」ということは本当なら安い fact4: 「もしもイギリス空軍だとすれば影響され易くない」ものはある fact5: もし仮にその第一拍が団長だとすると作詞作曲でない fact6: 「「青っぽいとしたら「穿たない」ということは確かな」物はある」ということは成り立つ fact7: 「もし仮に解答するとすると安い」物はある fact8: 仮にその第一拍が解答するならそれは安くない fact9: もしあの連邦大統領が大人しいとしたら解答するということはない ; $hypothesis$ = 「もし仮に解答すれば安くない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「売るとすれば原初でない」物はある
事実2: 「仮にその第一拍が幼いとすればその第一拍は動けない」ということは成り立つ
事実3: もし「その第一拍は解答する」ということは本当なら安い
事実4: 「もしもイギリス空軍だとすれば影響され易くない」ものはある
事実5: もし仮にその第一拍が団長だとすると作詞作曲でない
事実6: 「「青っぽいとしたら「穿たない」ということは確かな」物はある」ということは成り立つ
事実7: 「もし仮に解答するとすると安い」物はある
事実8: 仮にその第一拍が解答するならそれは安くない
事実9: もしあの連邦大統領が大人しいとしたら解答するということはない

仮説: 「もし仮に解答すれば安くない」ものはある
1. 事実8から、仮説が導かれる

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