「あのトラックリストは六百メートル以下でないかすげないか両方ともである」ということは事実と異なる
fact1: アニュアルレポートは病まない fact2: あの長期債券はおっかなくないかもしくはすげないかあるいは両方である fact3: あのトラックリストは貸し金債務であるか厳つい fact4: もし仮に「あるものは勤労学徒でない一方でそれは病む」ということは成り立たないならばすげなくない fact5: 何らかのものはすげなくないなら「リパーゼであるしそれは六百メートル以下であるということはない」ということは間違いである fact6: もし仮にとある物はリパーゼなら「六百メートル以下でないかもしくはすげない」ということは成り立たない fact7: 厳つかないものは官園でないかもしくは財産共有制でないかもしくはどちらもである fact8: もしも何らかのものが官園だということはないかもしくは財産共有制でないとするとあのトラックリストはアニュアルレポートだということはない fact9: 仮にそのトリアムシノロンアセトニドが病まないとすればあの保険給付はリパーゼであるかまたは勤労学徒でないかもしくはどちらもだ fact10: あのトラックリストはすげない fact11: あの保険給付は厳つかない fact12: もしも「なにがしかのものはリパーゼだが六百メートル以下でない」ということは成り立たないとするとそれは六百メートル以下だ fact13: 「アニュアルレポートでない」ものはあるとすれば「その四十日抗争は勤労学徒でないけれど病む」ということは誤っている
fact10 -> hypothesis;
fact10 -> hypothesis;
「あのトラックリストは六百メートル以下でないかそれはすげないかあるいはどちらもだ」ということは間違っている
fact15 -> int1: 仮にあのトラックリストはリパーゼであるとしたら「それは六百メートル以下でないかまたはすげないかあるいはどちらもである」ということは偽だ; fact14 -> int2: もし仮にそのトリアムシノロンアセトニドがアニュアルレポートなら病まない;
$facts$ = fact1: アニュアルレポートは病まない fact2: あの長期債券はおっかなくないかもしくはすげないかあるいは両方である fact3: あのトラックリストは貸し金債務であるか厳つい fact4: もし仮に「あるものは勤労学徒でない一方でそれは病む」ということは成り立たないならばすげなくない fact5: 何らかのものはすげなくないなら「リパーゼであるしそれは六百メートル以下であるということはない」ということは間違いである fact6: もし仮にとある物はリパーゼなら「六百メートル以下でないかもしくはすげない」ということは成り立たない fact7: 厳つかないものは官園でないかもしくは財産共有制でないかもしくはどちらもである fact8: もしも何らかのものが官園だということはないかもしくは財産共有制でないとするとあのトラックリストはアニュアルレポートだということはない fact9: 仮にそのトリアムシノロンアセトニドが病まないとすればあの保険給付はリパーゼであるかまたは勤労学徒でないかもしくはどちらもだ fact10: あのトラックリストはすげない fact11: あの保険給付は厳つかない fact12: もしも「なにがしかのものはリパーゼだが六百メートル以下でない」ということは成り立たないとするとそれは六百メートル以下だ fact13: 「アニュアルレポートでない」ものはあるとすれば「その四十日抗争は勤労学徒でないけれど病む」ということは誤っている ; $hypothesis$ = 「あのトラックリストは六百メートル以下でないかすげないか両方ともである」ということは事実と異なる ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: アニュアルレポートは病まない
事実2: あの長期債券はおっかなくないかもしくはすげないかあるいは両方である
事実3: あのトラックリストは貸し金債務であるか厳つい
事実4: もし仮に「あるものは勤労学徒でない一方でそれは病む」ということは成り立たないならばすげなくない
事実5: 何らかのものはすげなくないなら「リパーゼであるしそれは六百メートル以下であるということはない」ということは間違いである
事実6: もし仮にとある物はリパーゼなら「六百メートル以下でないかもしくはすげない」ということは成り立たない
事実7: 厳つかないものは官園でないかもしくは財産共有制でないかもしくはどちらもである
事実8: もしも何らかのものが官園だということはないかもしくは財産共有制でないとするとあのトラックリストはアニュアルレポートだということはない
事実9: 仮にそのトリアムシノロンアセトニドが病まないとすればあの保険給付はリパーゼであるかまたは勤労学徒でないかもしくはどちらもだ
事実10: あのトラックリストはすげない
事実11: あの保険給付は厳つかない
事実12: もしも「なにがしかのものはリパーゼだが六百メートル以下でない」ということは成り立たないとするとそれは六百メートル以下だ
事実13: 「アニュアルレポートでない」ものはあるとすれば「その四十日抗争は勤労学徒でないけれど病む」ということは誤っている

仮説: 「あのトラックリストは六百メートル以下でないかすげないか両方ともである」ということは事実と異なる
1. 事実10から、仮説が否定される

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