「「もし仮に主張し続けるとすると社会基盤でない」ものはある」ということは嘘である
fact1: もし仮にこの白蟻がＪＡＮＴ社ならコントロールメニューアイコンでない fact2: この白蟻が社会基盤だとすれば辛気臭くない fact3: あのスチームクリーナーは社会基盤であるなら汗ばまない fact4: 「「もしも「穴騎手だ」ということは正しいならば「営業範囲でない」ということは真実である」物はある」ということは本当だ fact5: もし仮にこの望み通りがイタリア民法だとしたらそれは創造するということはない fact6: 「もし仮に処断するなら羽裏でない」物はある fact7: 「ソフトボールだとしたら枝垂れ桜でない」ものはある fact8: もしあの省エネルギーは危ういとしたら「女性らしくない」ということは成り立つ fact9: 「仮に勝ち続けるとしたら喋り難くない」物はある fact10: 「もしも改築するとすれば泥臭くない」物はある fact11: もしもこの白蟻は成り難いとしたら「主張し続けない」ということは本当だ fact12: 「もし仮に「主張し続ける」ということは誤っているということはないとすれば社会基盤である」物はある fact13: もし仮に「この白蟻は主張し続ける」ということは真実であるとすれば社会基盤である fact14: 「背負い込むなら「清純派でない」ということは成り立つ」物はある fact15: 「この白蟻は主張し続ける」ということは成り立つとしたら社会基盤でない fact16: 「仮にいとおしいとすれば分かち難くない」物はある fact17: 「この白蟻は否定し難い」ということは真実ならそれは主張し続けない fact18: 仮にとある物が酸化し難いとしたらそれは主張し続けない
fact15 -> hypothesis;
もしもこの白蟻が酸化し難いとしたら主張し続けない
fact19 -> hypothesis;
$facts$ = fact1: もし仮にこの白蟻がＪＡＮＴ社ならコントロールメニューアイコンでない fact2: この白蟻が社会基盤だとすれば辛気臭くない fact3: あのスチームクリーナーは社会基盤であるなら汗ばまない fact4: 「「もしも「穴騎手だ」ということは正しいならば「営業範囲でない」ということは真実である」物はある」ということは本当だ fact5: もし仮にこの望み通りがイタリア民法だとしたらそれは創造するということはない fact6: 「もし仮に処断するなら羽裏でない」物はある fact7: 「ソフトボールだとしたら枝垂れ桜でない」ものはある fact8: もしあの省エネルギーは危ういとしたら「女性らしくない」ということは成り立つ fact9: 「仮に勝ち続けるとしたら喋り難くない」物はある fact10: 「もしも改築するとすれば泥臭くない」物はある fact11: もしもこの白蟻は成り難いとしたら「主張し続けない」ということは本当だ fact12: 「もし仮に「主張し続ける」ということは誤っているということはないとすれば社会基盤である」物はある fact13: もし仮に「この白蟻は主張し続ける」ということは真実であるとすれば社会基盤である fact14: 「背負い込むなら「清純派でない」ということは成り立つ」物はある fact15: 「この白蟻は主張し続ける」ということは成り立つとしたら社会基盤でない fact16: 「仮にいとおしいとすれば分かち難くない」物はある fact17: 「この白蟻は否定し難い」ということは真実ならそれは主張し続けない fact18: 仮にとある物が酸化し難いとしたらそれは主張し続けない ; $hypothesis$ = 「「もし仮に主張し続けるとすると社会基盤でない」ものはある」ということは嘘である ; $proof$ = 
fact15 -> hypothesis; __DISPROVED__
事実1: もし仮にこの白蟻がＪＡＮＴ社ならコントロールメニューアイコンでない
事実2: この白蟻が社会基盤だとすれば辛気臭くない
事実3: あのスチームクリーナーは社会基盤であるなら汗ばまない
事実4: 「「もしも「穴騎手だ」ということは正しいならば「営業範囲でない」ということは真実である」物はある」ということは本当だ
事実5: もし仮にこの望み通りがイタリア民法だとしたらそれは創造するということはない
事実6: 「もし仮に処断するなら羽裏でない」物はある
事実7: 「ソフトボールだとしたら枝垂れ桜でない」ものはある
事実8: もしあの省エネルギーは危ういとしたら「女性らしくない」ということは成り立つ
事実9: 「仮に勝ち続けるとしたら喋り難くない」物はある
事実10: 「もしも改築するとすれば泥臭くない」物はある
事実11: もしもこの白蟻は成り難いとしたら「主張し続けない」ということは本当だ
事実12: 「もし仮に「主張し続ける」ということは誤っているということはないとすれば社会基盤である」物はある
事実13: もし仮に「この白蟻は主張し続ける」ということは真実であるとすれば社会基盤である
事実14: 「背負い込むなら「清純派でない」ということは成り立つ」物はある
事実15: 「この白蟻は主張し続ける」ということは成り立つとしたら社会基盤でない
事実16: 「仮にいとおしいとすれば分かち難くない」物はある
事実17: 「この白蟻は否定し難い」ということは真実ならそれは主張し続けない
事実18: 仮にとある物が酸化し難いとしたらそれは主張し続けない

仮説: 「「もし仮に主張し続けるとすると社会基盤でない」ものはある」ということは嘘である
1. 事実15から、仮説が否定される

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