「その同一銘柄株式等は金輪際でおまけにそれは三Ｈである」ということは誤りである
fact1: この舷梯は着易い fact2: その同一銘柄株式等は入力するか金輪際だ fact3: その同一銘柄株式等は三Ｈだ fact4: このガラス扉は上げる fact5: もしもその流水が紹介出来ないか来泊しないかあるいは両方ともであるとするとその量販店は来泊する fact6: その量販店は上げるかまたは着易い fact7: もしもその量販店が着易いならばその同一銘柄株式等は金輪際だ fact8: その量販店はリサーチするしさらに居辛い fact9: もしその量販店が上げるとすればその同一銘柄株式等は金輪際だ fact10: もしその量販店が三Ｈであるとしたらその同一銘柄株式等は上げる fact11: その量販店が侮蔑するとするとその同一銘柄株式等は上げるということはないけれど着易い fact12: もし仮になにがしかの物は上げないならば「金輪際でまた三Ｈである」ということは成り立たない fact13: その量販店は再提出するし吹き易い fact14: あのクローズパスは入り易いしそれに出難い fact15: もし仮に何らかのものは来泊するとすると「侮蔑する」ということは事実と異ならない
fact6 & fact9 & fact7 -> int1: その同一銘柄株式等は金輪際である; int1 & fact3 -> hypothesis;
「その同一銘柄株式等は金輪際であるしかつ三Ｈだ」ということは誤っている
fact19 -> int2: 仮にその同一銘柄株式等は上げないとすると「「それが金輪際だししかもそれは三Ｈである」ということは成り立つ」ということは事実と異なる; fact16 -> int3: もしも「その量販店は来泊するということはない」ということは事実と異なるとすると侮蔑する;
$facts$ = fact1: この舷梯は着易い fact2: その同一銘柄株式等は入力するか金輪際だ fact3: その同一銘柄株式等は三Ｈだ fact4: このガラス扉は上げる fact5: もしもその流水が紹介出来ないか来泊しないかあるいは両方ともであるとするとその量販店は来泊する fact6: その量販店は上げるかまたは着易い fact7: もしもその量販店が着易いならばその同一銘柄株式等は金輪際だ fact8: その量販店はリサーチするしさらに居辛い fact9: もしその量販店が上げるとすればその同一銘柄株式等は金輪際だ fact10: もしその量販店が三Ｈであるとしたらその同一銘柄株式等は上げる fact11: その量販店が侮蔑するとするとその同一銘柄株式等は上げるということはないけれど着易い fact12: もし仮になにがしかの物は上げないならば「金輪際でまた三Ｈである」ということは成り立たない fact13: その量販店は再提出するし吹き易い fact14: あのクローズパスは入り易いしそれに出難い fact15: もし仮に何らかのものは来泊するとすると「侮蔑する」ということは事実と異ならない ; $hypothesis$ = 「その同一銘柄株式等は金輪際でおまけにそれは三Ｈである」ということは誤りである ; $proof$ = 
fact6 & fact9 & fact7 -> int1: その同一銘柄株式等は金輪際である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この舷梯は着易い
事実2: その同一銘柄株式等は入力するか金輪際だ
事実3: その同一銘柄株式等は三Ｈだ
事実4: このガラス扉は上げる
事実5: もしもその流水が紹介出来ないか来泊しないかあるいは両方ともであるとするとその量販店は来泊する
事実6: その量販店は上げるかまたは着易い
事実7: もしもその量販店が着易いならばその同一銘柄株式等は金輪際だ
事実8: その量販店はリサーチするしさらに居辛い
事実9: もしその量販店が上げるとすればその同一銘柄株式等は金輪際だ
事実10: もしその量販店が三Ｈであるとしたらその同一銘柄株式等は上げる
事実11: その量販店が侮蔑するとするとその同一銘柄株式等は上げるということはないけれど着易い
事実12: もし仮になにがしかの物は上げないならば「金輪際でまた三Ｈである」ということは成り立たない
事実13: その量販店は再提出するし吹き易い
事実14: あのクローズパスは入り易いしそれに出難い
事実15: もし仮に何らかのものは来泊するとすると「侮蔑する」ということは事実と異ならない

仮説: 「その同一銘柄株式等は金輪際でおまけにそれは三Ｈである」ということは誤りである
1. 事実6と事実9と事実7から、推論1: "その同一銘柄株式等は金輪際である"が導かれる
2. 推論1と事実3から、仮説が否定される

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