あの拮抗筋は科学的管理法でない
fact1: あの拮抗筋は指導出来る fact2: もし仮にそのトロフィーが近接しないか食料事情だとするとそれは馬回り役である fact3: 何らかのものは指導出来る fact4: あの拮抗筋がたどたどしいということはないかあるいはそれは食料事情であるならば科学的管理法である fact5: もし仮に「指導出来ない」物があるならあの拮抗筋はたどたどしくないかそれは食料事情であるか両方である fact6: 「指導出来ない」物はある fact7: もしなにかは耽らないかまたは掻き易いかもしくは両方ともであるとすればそれは指導出来る fact8: あの拮抗筋は適応出来ないか食料事情であるかまたは両方ともである
fact6 & fact5 -> int1: あの拮抗筋はたどたどしくないかもしくは食料事情である; int1 & fact4 -> hypothesis;
もしもこの穿通孔が耽らないかまたはそれが掻き易いとすると指導出来る
fact9 -> hypothesis;
$facts$ = fact1: あの拮抗筋は指導出来る fact2: もし仮にそのトロフィーが近接しないか食料事情だとするとそれは馬回り役である fact3: 何らかのものは指導出来る fact4: あの拮抗筋がたどたどしいということはないかあるいはそれは食料事情であるならば科学的管理法である fact5: もし仮に「指導出来ない」物があるならあの拮抗筋はたどたどしくないかそれは食料事情であるか両方である fact6: 「指導出来ない」物はある fact7: もしなにかは耽らないかまたは掻き易いかもしくは両方ともであるとすればそれは指導出来る fact8: あの拮抗筋は適応出来ないか食料事情であるかまたは両方ともである ; $hypothesis$ = あの拮抗筋は科学的管理法でない ; $proof$ = 
fact6 & fact5 -> int1: あの拮抗筋はたどたどしくないかもしくは食料事情である; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: あの拮抗筋は指導出来る
事実2: もし仮にそのトロフィーが近接しないか食料事情だとするとそれは馬回り役である
事実3: 何らかのものは指導出来る
事実4: あの拮抗筋がたどたどしいということはないかあるいはそれは食料事情であるならば科学的管理法である
事実5: もし仮に「指導出来ない」物があるならあの拮抗筋はたどたどしくないかそれは食料事情であるか両方である
事実6: 「指導出来ない」物はある
事実7: もしなにかは耽らないかまたは掻き易いかもしくは両方ともであるとすればそれは指導出来る
事実8: あの拮抗筋は適応出来ないか食料事情であるかまたは両方ともである

仮説: あの拮抗筋は科学的管理法でない
1. 事実6と事実5から、推論1: "あの拮抗筋はたどたどしくないかもしくは食料事情である"が導かれる
2. 推論1と事実4から、仮説が否定される

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