「この主力商品は凹ますけど病み付くということはない」ということは事実と異なる
fact1: ある物は使い切る fact2: 「病み付く」物はある fact3: 「使い切らない」物があるとするとこの主力商品は凹ます一方で病み付かない fact4: もし仮に何らかのものが渡海しないとすればこの主力商品は病み付くけどオクラホマシティでない fact5: もしも何かは社会福祉原論でないとしたら使い切るししかもそれは苦い fact6: もしもあの二号館が弁解がましくらないかもしくは社会福祉原論でないか両方ともであるとするとこの主力商品は社会福祉原論であるということはない fact7: 「この主力商品は凹ます」ということは確かである fact8: なにがしかのものは使い切れば「凹ますしおまけに病み付かない」ということは間違っている fact9: もしも「使い切らない」ものがあるとしたらこの主力商品は凹ます fact10: 「使い切らない」物はある fact11: 何らかのものは凹ます
fact10 & fact3 -> hypothesis;
「この主力商品は凹ますけどそれは病み付かない」ということは成り立たない
fact13 -> int1: もし仮にこの主力商品は使い切るなら「それは凹ますけれど病み付かない」ということは成り立たない; fact14 -> int2: もし仮にこの主力商品が社会福祉原論であるということはないならば使い切るしかつ苦い;
$facts$ = fact1: ある物は使い切る fact2: 「病み付く」物はある fact3: 「使い切らない」物があるとするとこの主力商品は凹ます一方で病み付かない fact4: もし仮に何らかのものが渡海しないとすればこの主力商品は病み付くけどオクラホマシティでない fact5: もしも何かは社会福祉原論でないとしたら使い切るししかもそれは苦い fact6: もしもあの二号館が弁解がましくらないかもしくは社会福祉原論でないか両方ともであるとするとこの主力商品は社会福祉原論であるということはない fact7: 「この主力商品は凹ます」ということは確かである fact8: なにがしかのものは使い切れば「凹ますしおまけに病み付かない」ということは間違っている fact9: もしも「使い切らない」ものがあるとしたらこの主力商品は凹ます fact10: 「使い切らない」物はある fact11: 何らかのものは凹ます ; $hypothesis$ = 「この主力商品は凹ますけど病み付くということはない」ということは事実と異なる ; $proof$ = 
fact10 & fact3 -> hypothesis; __DISPROVED__
事実1: ある物は使い切る
事実2: 「病み付く」物はある
事実3: 「使い切らない」物があるとするとこの主力商品は凹ます一方で病み付かない
事実4: もし仮に何らかのものが渡海しないとすればこの主力商品は病み付くけどオクラホマシティでない
事実5: もしも何かは社会福祉原論でないとしたら使い切るししかもそれは苦い
事実6: もしもあの二号館が弁解がましくらないかもしくは社会福祉原論でないか両方ともであるとするとこの主力商品は社会福祉原論であるということはない
事実7: 「この主力商品は凹ます」ということは確かである
事実8: なにがしかのものは使い切れば「凹ますしおまけに病み付かない」ということは間違っている
事実9: もしも「使い切らない」ものがあるとしたらこの主力商品は凹ます
事実10: 「使い切らない」物はある
事実11: 何らかのものは凹ます

仮説: 「この主力商品は凹ますけど病み付くということはない」ということは事実と異なる
1. 事実10と事実3から、仮説が否定される

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