「「もしも「着底しないしさらにワーク・ライフ・バランスでない」ということは間違っているとしたらＷＡＳである」ものはある」ということは誤っている
fact1: 「もし「生活圏域でないし淀み無くない」ということは偽だとすると「かまける」ということは本当な」物はある fact2: 「「下請け契約でないしかつ溶かし無塩発酵バターだということはない」ということは事実と異なるとすると重症化する」物はある fact3: 「もし着底しなくてそれにワーク・ライフ・バランスでないとすればＷＡＳである」物はある fact4: もし仮に「そのトラック・スルー・ソリッドは着底するということはなくてワーク・ライフ・バランスでない」ということは事実と異なるならＷＡＳである fact5: もし「この露天石炭等採掘場は歩き難くないし加えて挟み取らない」ということは偽であるならばワーク・ライフ・バランスである fact6: 「そのトラック・スルー・ソリッドは着底するがしかしそれはワーク・ライフ・バランスでない」ということは嘘ならばＷＡＳだ fact7: 「仮に「着底する一方でワーク・ライフ・バランスだということはない」ということは間違いであるならばＷＡＳである」物はある fact8: もし「そのトラック・スルー・ソリッドは着底しなくてミロシェビッチ政権でない」ということは成り立たないならばそれは彼らしい fact9: 「もし「苛々し易くないしさらに人恋しくない」ということは正しくないならば排尿である」ものはある fact10: もしも「なにがしかのものは着底するということはなくてしかも毛深くない」ということは誤っていれば青い fact11: 「もし仮に「魘されないし慈恩寺だということはない」ということは嘘であるとすれば挑戦する」ものはある fact12: 仮に「この地下通路は傾き易くないしそれは神々しかない」ということは事実と異なるなら「ワーク・ライフ・バランスだ」ということは成り立つ fact13: 「仮にワーク・ライフ・バランスであるならばＷＡＳである」物はある fact14: そのトラック・スルー・ソリッドはワーク・ライフ・バランスであるならば「ＷＡＳだ」ということは成り立つ fact15: 「「着底しなくて更にワーク・ライフ・バランスだ」ということは成り立たないとするとＷＡＳな」物はある fact16: 「もし仮に着底するとするとＷＡＳである」物はある fact17: そのトラック・スルー・ソリッドは着底しないしかつワーク・ライフ・バランスでないとすればそれはＷＡＳだ
fact4 -> hypothesis;
もし仮に「そのトラック・スルー・ソリッドは着底しないしその上毛深くない」ということは成り立たないならそれは青い
fact18 -> hypothesis;
$facts$ = fact1: 「もし「生活圏域でないし淀み無くない」ということは偽だとすると「かまける」ということは本当な」物はある fact2: 「「下請け契約でないしかつ溶かし無塩発酵バターだということはない」ということは事実と異なるとすると重症化する」物はある fact3: 「もし着底しなくてそれにワーク・ライフ・バランスでないとすればＷＡＳである」物はある fact4: もし仮に「そのトラック・スルー・ソリッドは着底するということはなくてワーク・ライフ・バランスでない」ということは事実と異なるならＷＡＳである fact5: もし「この露天石炭等採掘場は歩き難くないし加えて挟み取らない」ということは偽であるならばワーク・ライフ・バランスである fact6: 「そのトラック・スルー・ソリッドは着底するがしかしそれはワーク・ライフ・バランスでない」ということは嘘ならばＷＡＳだ fact7: 「仮に「着底する一方でワーク・ライフ・バランスだということはない」ということは間違いであるならばＷＡＳである」物はある fact8: もし「そのトラック・スルー・ソリッドは着底しなくてミロシェビッチ政権でない」ということは成り立たないならばそれは彼らしい fact9: 「もし「苛々し易くないしさらに人恋しくない」ということは正しくないならば排尿である」ものはある fact10: もしも「なにがしかのものは着底するということはなくてしかも毛深くない」ということは誤っていれば青い fact11: 「もし仮に「魘されないし慈恩寺だということはない」ということは嘘であるとすれば挑戦する」ものはある fact12: 仮に「この地下通路は傾き易くないしそれは神々しかない」ということは事実と異なるなら「ワーク・ライフ・バランスだ」ということは成り立つ fact13: 「仮にワーク・ライフ・バランスであるならばＷＡＳである」物はある fact14: そのトラック・スルー・ソリッドはワーク・ライフ・バランスであるならば「ＷＡＳだ」ということは成り立つ fact15: 「「着底しなくて更にワーク・ライフ・バランスだ」ということは成り立たないとするとＷＡＳな」物はある fact16: 「もし仮に着底するとするとＷＡＳである」物はある fact17: そのトラック・スルー・ソリッドは着底しないしかつワーク・ライフ・バランスでないとすればそれはＷＡＳだ ; $hypothesis$ = 「「もしも「着底しないしさらにワーク・ライフ・バランスでない」ということは間違っているとしたらＷＡＳである」ものはある」ということは誤っている ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もし「生活圏域でないし淀み無くない」ということは偽だとすると「かまける」ということは本当な」物はある
事実2: 「「下請け契約でないしかつ溶かし無塩発酵バターだということはない」ということは事実と異なるとすると重症化する」物はある
事実3: 「もし着底しなくてそれにワーク・ライフ・バランスでないとすればＷＡＳである」物はある
事実4: もし仮に「そのトラック・スルー・ソリッドは着底するということはなくてワーク・ライフ・バランスでない」ということは事実と異なるならＷＡＳである
事実5: もし「この露天石炭等採掘場は歩き難くないし加えて挟み取らない」ということは偽であるならばワーク・ライフ・バランスである
事実6: 「そのトラック・スルー・ソリッドは着底するがしかしそれはワーク・ライフ・バランスでない」ということは嘘ならばＷＡＳだ
事実7: 「仮に「着底する一方でワーク・ライフ・バランスだということはない」ということは間違いであるならばＷＡＳである」物はある
事実8: もし「そのトラック・スルー・ソリッドは着底しなくてミロシェビッチ政権でない」ということは成り立たないならばそれは彼らしい
事実9: 「もし「苛々し易くないしさらに人恋しくない」ということは正しくないならば排尿である」ものはある
事実10: もしも「なにがしかのものは着底するということはなくてしかも毛深くない」ということは誤っていれば青い
事実11: 「もし仮に「魘されないし慈恩寺だということはない」ということは嘘であるとすれば挑戦する」ものはある
事実12: 仮に「この地下通路は傾き易くないしそれは神々しかない」ということは事実と異なるなら「ワーク・ライフ・バランスだ」ということは成り立つ
事実13: 「仮にワーク・ライフ・バランスであるならばＷＡＳである」物はある
事実14: そのトラック・スルー・ソリッドはワーク・ライフ・バランスであるならば「ＷＡＳだ」ということは成り立つ
事実15: 「「着底しなくて更にワーク・ライフ・バランスだ」ということは成り立たないとするとＷＡＳな」物はある
事実16: 「もし仮に着底するとするとＷＡＳである」物はある
事実17: そのトラック・スルー・ソリッドは着底しないしかつワーク・ライフ・バランスでないとすればそれはＷＡＳだ

仮説: 「「もしも「着底しないしさらにワーク・ライフ・バランスでない」ということは間違っているとしたらＷＡＳである」ものはある」ということは誤っている
1. 事実4から、仮説が否定される

よって、仮説が否定されました。