「仮にバンド名だとすれば「狡いか完敗しないかまたは両方だ」ということは事実でない」物はある
fact1: 仮にその目測がトレイだとするとそれは彫り上げるかもしくは赤字決算でないかまたは両方ともだ fact2: 何かは光合成するとすれば「それは免れ難いかあるいは湿気易くないか両方だ」ということは本当でない fact3: 「「もし仮に通じ合えば備え置かない」物はある」ということは成り立つ fact4: 「三十一号証だとすると「激しいかもしくは引っ張り回す」ということは成り立つということはない」物はある fact5: もし仮になにがしかの物は彫り上げるとすると「「完敗するかまたは寛大さであるということはない」ということは真実である」ということは間違いだ fact6: 「もし底深いならば「湿気易いかもしくは空恐ろしくないか両方ともである」ということは間違いな」ものはある fact7: 「もしも「署名捺印する」ということは成り立つとすると「問い始めるかもしくは通せん坊しない」ということは誤りな」ものはある fact8: 「仮に見詰め有るとすると「改作するかもしくは細過ぎるということはない」ということは事実と異なる」ものはある fact9: 「仮にスワップファイルだとすると「体系化するかもしくは悪しくないか両方ともである」ということは成り立つ」物はある fact10: 「もしもバンド名であるとすると「狡いかまたは完敗する」ということは誤りな」物はある fact11: 「仮にバンド名だとすれば完敗する」物はある fact12: もしもその宗教人はバンド名だとしたら「それは完敗する」ということは本当だ fact13: 「バンド名であるなら狡いか完敗しない」ものはある fact14: もしその宗教人はバンド名であるとすると「狡いかまたはそれは完敗しないかどちらもである」ということは成り立たない fact15: その宗教人がバンド名ならそれは狡いかあるいはそれは完敗しないかもしくはどちらもだ fact16: 「仮に「拘縮する」ということは真実ならば娶るか流され易くないか両方な」ものはある fact17: 「もしも一稼ぎするとしたら弾力化するかあるいは浴しないかもしくは両方な」ものはある fact18: 「もしもバンド名ならば狡くない」ものはある
fact14 -> hypothesis;
仮にその宗教人は彫り上げれば「それは完敗するか寛大さでないかまたはどちらもである」ということは誤りだ
fact19 -> hypothesis;
$facts$ = fact1: 仮にその目測がトレイだとするとそれは彫り上げるかもしくは赤字決算でないかまたは両方ともだ fact2: 何かは光合成するとすれば「それは免れ難いかあるいは湿気易くないか両方だ」ということは本当でない fact3: 「「もし仮に通じ合えば備え置かない」物はある」ということは成り立つ fact4: 「三十一号証だとすると「激しいかもしくは引っ張り回す」ということは成り立つということはない」物はある fact5: もし仮になにがしかの物は彫り上げるとすると「「完敗するかまたは寛大さであるということはない」ということは真実である」ということは間違いだ fact6: 「もし底深いならば「湿気易いかもしくは空恐ろしくないか両方ともである」ということは間違いな」ものはある fact7: 「もしも「署名捺印する」ということは成り立つとすると「問い始めるかもしくは通せん坊しない」ということは誤りな」ものはある fact8: 「仮に見詰め有るとすると「改作するかもしくは細過ぎるということはない」ということは事実と異なる」ものはある fact9: 「仮にスワップファイルだとすると「体系化するかもしくは悪しくないか両方ともである」ということは成り立つ」物はある fact10: 「もしもバンド名であるとすると「狡いかまたは完敗する」ということは誤りな」物はある fact11: 「仮にバンド名だとすれば完敗する」物はある fact12: もしもその宗教人はバンド名だとしたら「それは完敗する」ということは本当だ fact13: 「バンド名であるなら狡いか完敗しない」ものはある fact14: もしその宗教人はバンド名であるとすると「狡いかまたはそれは完敗しないかどちらもである」ということは成り立たない fact15: その宗教人がバンド名ならそれは狡いかあるいはそれは完敗しないかもしくはどちらもだ fact16: 「仮に「拘縮する」ということは真実ならば娶るか流され易くないか両方な」ものはある fact17: 「もしも一稼ぎするとしたら弾力化するかあるいは浴しないかもしくは両方な」ものはある fact18: 「もしもバンド名ならば狡くない」ものはある ; $hypothesis$ = 「仮にバンド名だとすれば「狡いか完敗しないかまたは両方だ」ということは事実でない」物はある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 仮にその目測がトレイだとするとそれは彫り上げるかもしくは赤字決算でないかまたは両方ともだ
事実2: 何かは光合成するとすれば「それは免れ難いかあるいは湿気易くないか両方だ」ということは本当でない
事実3: 「「もし仮に通じ合えば備え置かない」物はある」ということは成り立つ
事実4: 「三十一号証だとすると「激しいかもしくは引っ張り回す」ということは成り立つということはない」物はある
事実5: もし仮になにがしかの物は彫り上げるとすると「「完敗するかまたは寛大さであるということはない」ということは真実である」ということは間違いだ
事実6: 「もし底深いならば「湿気易いかもしくは空恐ろしくないか両方ともである」ということは間違いな」ものはある
事実7: 「もしも「署名捺印する」ということは成り立つとすると「問い始めるかもしくは通せん坊しない」ということは誤りな」ものはある
事実8: 「仮に見詰め有るとすると「改作するかもしくは細過ぎるということはない」ということは事実と異なる」ものはある
事実9: 「仮にスワップファイルだとすると「体系化するかもしくは悪しくないか両方ともである」ということは成り立つ」物はある
事実10: 「もしもバンド名であるとすると「狡いかまたは完敗する」ということは誤りな」物はある
事実11: 「仮にバンド名だとすれば完敗する」物はある
事実12: もしもその宗教人はバンド名だとしたら「それは完敗する」ということは本当だ
事実13: 「バンド名であるなら狡いか完敗しない」ものはある
事実14: もしその宗教人はバンド名であるとすると「狡いかまたはそれは完敗しないかどちらもである」ということは成り立たない
事実15: その宗教人がバンド名ならそれは狡いかあるいはそれは完敗しないかもしくはどちらもだ
事実16: 「仮に「拘縮する」ということは真実ならば娶るか流され易くないか両方な」ものはある
事実17: 「もしも一稼ぎするとしたら弾力化するかあるいは浴しないかもしくは両方な」ものはある
事実18: 「もしもバンド名ならば狡くない」ものはある

仮説: 「仮にバンド名だとすれば「狡いか完敗しないかまたは両方だ」ということは事実でない」物はある
1. 事実14から、仮説が導かれる

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