その断章は落下しない
fact1: もし仮に「あの保存係は美々しいがしかし動き出さない」ということは誤りであるならばそれは国際レースでない fact2: とある物は御悪い fact3: あの保存係は御悪い fact4: もし仮にあるものが御悪いし恵み深いとするとその断章は落下する fact5: あの保存係は恵み深い fact6: 御悪くなくてそれに恵み深いものは落下する
fact3 & fact5 -> int1: あの保存係は御悪いし恵み深い; int1 -> int2: 御悪くて恵み深いものはある; int2 & fact4 -> hypothesis;
あの広報担当者は落下する
fact8 -> int3: もしも「あの広報担当者は御悪くないけれどそれは恵み深い」ということは事実ならばそれは落下する;
$facts$ = fact1: もし仮に「あの保存係は美々しいがしかし動き出さない」ということは誤りであるならばそれは国際レースでない fact2: とある物は御悪い fact3: あの保存係は御悪い fact4: もし仮にあるものが御悪いし恵み深いとするとその断章は落下する fact5: あの保存係は恵み深い fact6: 御悪くなくてそれに恵み深いものは落下する ; $hypothesis$ = その断章は落下しない ; $proof$ = 
fact3 & fact5 -> int1: あの保存係は御悪いし恵み深い; int1 -> int2: 御悪くて恵み深いものはある; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの保存係は美々しいがしかし動き出さない」ということは誤りであるならばそれは国際レースでない
事実2: とある物は御悪い
事実3: あの保存係は御悪い
事実4: もし仮にあるものが御悪いし恵み深いとするとその断章は落下する
事実5: あの保存係は恵み深い
事実6: 御悪くなくてそれに恵み深いものは落下する

仮説: その断章は落下しない
1. 事実3と事実5から、推論1: "あの保存係は御悪いし恵み深い"が導かれる
2. 推論1から、推論2: "御悪くて恵み深いものはある"が導かれる
3. 推論2と事実4から、仮説が否定される

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