「「もし「息苦しい」ということは成り立てば入港出来ないけど販売出来る」物はある」ということは成り立たない
fact1: 「もし息苦しいなら入港出来るしさらに販売出来る」物はある fact2: 「仮に息苦しいなら入港出来るということはない」物はある fact3: 「仮に息苦しいとしたら「販売出来る」ということは真実な」物はある fact4: もしもあの御葬儀が息苦しいならばそれは入港出来ないしそれは販売出来る fact5: もし仮になにがしかの物が相接するとすれば反映され易くない一方で優しい fact6: 「もしアクチノマイシンＤだとすると高安県でない一方で無い」ものはある fact7: 「もしも伸びるとすれば押し易くない一方でまだるっこしい」ものはある fact8: もしも「あの御葬儀は息苦しい」ということは事実だとすると「販売出来る」ということは本当である fact9: もしあの御葬儀が腕捲りすれば遣り過ごさないししかもそれは赤い fact10: もし仮にあの御葬儀が生理機能検査だとすればそれは本土復帰でなくて更にそれは午前中だ fact11: あの御葬儀が息苦しいとすれば入港出来るし販売出来る
fact4 -> hypothesis;
「もし仮に「相接する」ということは本当であるとすると反映され易くないしかつ優しい」物はある
fact12 -> int1: もしあの奸が相接するとしたら反映され易くない一方で優しい; int1 -> hypothesis;
$facts$ = fact1: 「もし息苦しいなら入港出来るしさらに販売出来る」物はある fact2: 「仮に息苦しいなら入港出来るということはない」物はある fact3: 「仮に息苦しいとしたら「販売出来る」ということは真実な」物はある fact4: もしもあの御葬儀が息苦しいならばそれは入港出来ないしそれは販売出来る fact5: もし仮になにがしかの物が相接するとすれば反映され易くない一方で優しい fact6: 「もしアクチノマイシンＤだとすると高安県でない一方で無い」ものはある fact7: 「もしも伸びるとすれば押し易くない一方でまだるっこしい」ものはある fact8: もしも「あの御葬儀は息苦しい」ということは事実だとすると「販売出来る」ということは本当である fact9: もしあの御葬儀が腕捲りすれば遣り過ごさないししかもそれは赤い fact10: もし仮にあの御葬儀が生理機能検査だとすればそれは本土復帰でなくて更にそれは午前中だ fact11: あの御葬儀が息苦しいとすれば入港出来るし販売出来る ; $hypothesis$ = 「「もし「息苦しい」ということは成り立てば入港出来ないけど販売出来る」物はある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もし息苦しいなら入港出来るしさらに販売出来る」物はある
事実2: 「仮に息苦しいなら入港出来るということはない」物はある
事実3: 「仮に息苦しいとしたら「販売出来る」ということは真実な」物はある
事実4: もしもあの御葬儀が息苦しいならばそれは入港出来ないしそれは販売出来る
事実5: もし仮になにがしかの物が相接するとすれば反映され易くない一方で優しい
事実6: 「もしアクチノマイシンＤだとすると高安県でない一方で無い」ものはある
事実7: 「もしも伸びるとすれば押し易くない一方でまだるっこしい」ものはある
事実8: もしも「あの御葬儀は息苦しい」ということは事実だとすると「販売出来る」ということは本当である
事実9: もしあの御葬儀が腕捲りすれば遣り過ごさないししかもそれは赤い
事実10: もし仮にあの御葬儀が生理機能検査だとすればそれは本土復帰でなくて更にそれは午前中だ
事実11: あの御葬儀が息苦しいとすれば入港出来るし販売出来る

仮説: 「「もし「息苦しい」ということは成り立てば入港出来ないけど販売出来る」物はある」ということは成り立たない
1. 事実4から、仮説が否定される

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