あの草調儀は急行する
fact1: 「仮に何かは量的研究だとすれば「それは急行する」ということは誤りだということはない」ということは成り立つ fact2: その祝福家庭は零し始める fact3: もしなにかは目新しいなら零し始めないがしかし急行する fact4: もしその祝福家庭が量的研究で零し始めるとするとあの草調儀は急行するということはない fact5: その祝福家庭は量的研究である fact6: もしも「あの草調儀は重たい」ということは成り立つとするとその祝福家庭は石突きだ fact7: もし仮にあの草調儀が量的研究であるし加えて零し始めるならその祝福家庭は急行しない
fact5 & fact2 -> int1: その祝福家庭は量的研究であるしまた零し始める; int1 & fact4 -> hypothesis;
あの草調儀は急行する
fact8 -> int2: もしあの草調儀が量的研究ならば急行する;
$facts$ = fact1: 「仮に何かは量的研究だとすれば「それは急行する」ということは誤りだということはない」ということは成り立つ fact2: その祝福家庭は零し始める fact3: もしなにかは目新しいなら零し始めないがしかし急行する fact4: もしその祝福家庭が量的研究で零し始めるとするとあの草調儀は急行するということはない fact5: その祝福家庭は量的研究である fact6: もしも「あの草調儀は重たい」ということは成り立つとするとその祝福家庭は石突きだ fact7: もし仮にあの草調儀が量的研究であるし加えて零し始めるならその祝福家庭は急行しない ; $hypothesis$ = あの草調儀は急行する ; $proof$ = 
fact5 & fact2 -> int1: その祝福家庭は量的研究であるしまた零し始める; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「仮に何かは量的研究だとすれば「それは急行する」ということは誤りだということはない」ということは成り立つ
事実2: その祝福家庭は零し始める
事実3: もしなにかは目新しいなら零し始めないがしかし急行する
事実4: もしその祝福家庭が量的研究で零し始めるとするとあの草調儀は急行するということはない
事実5: その祝福家庭は量的研究である
事実6: もしも「あの草調儀は重たい」ということは成り立つとするとその祝福家庭は石突きだ
事実7: もし仮にあの草調儀が量的研究であるし加えて零し始めるならその祝福家庭は急行しない

仮説: あの草調儀は急行する
1. 事実5と事実2から、推論1: "その祝福家庭は量的研究であるしまた零し始める"が導かれる
2. 推論1と事実4から、仮説が否定される

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