「この後追いは惨めったらしいかあるいは遅れ易いかもしくは両方ともである」ということは成り立たない
fact1: もし仮に「なんらかのものは惨めったらしいもので打ち上がり易くない」ということは成り立たないならそれは打ち上がり易い fact2: この後追いは打ち上がり易いししかも惨めったらしい fact3: もしもとある物がストレッチャーでないけれど歌い出せばそれは打ち上がり易くない
fact2 -> int1: 「この後追いは惨めったらしくない」ということは成り立たない; int1 -> hypothesis;
この後追いは打ち上がり易くてまた出血し易い
fact4 -> int2: もし仮に「この後追いは惨めったらしいが打ち上がり易くない」ということは誤りであるならそれは打ち上がり易い;
$facts$ = fact1: もし仮に「なんらかのものは惨めったらしいもので打ち上がり易くない」ということは成り立たないならそれは打ち上がり易い fact2: この後追いは打ち上がり易いししかも惨めったらしい fact3: もしもとある物がストレッチャーでないけれど歌い出せばそれは打ち上がり易くない ; $hypothesis$ = 「この後追いは惨めったらしいかあるいは遅れ易いかもしくは両方ともである」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「この後追いは惨めったらしくない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかのものは惨めったらしいもので打ち上がり易くない」ということは成り立たないならそれは打ち上がり易い
事実2: この後追いは打ち上がり易いししかも惨めったらしい
事実3: もしもとある物がストレッチャーでないけれど歌い出せばそれは打ち上がり易くない

仮説: 「この後追いは惨めったらしいかあるいは遅れ易いかもしくは両方ともである」ということは成り立たない
1. 事実2から、推論1: "「この後追いは惨めったらしくない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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