「その零Ｈは項垂れないかまたは生産し続けるかあるいはどちらもだ」ということは誤りだ
fact1: その零Ｈは脊髄後角だ fact2: もし仮にその零Ｈは脊髄後角であるとすると生産し続ける fact3: その零Ｈは項垂れるかあるいはそれは生産し続けるかもしくはどちらもである
fact2 & fact1 -> int1: その零Ｈは生産し続ける; int1 -> hypothesis;
$facts$ = fact1: その零Ｈは脊髄後角だ fact2: もし仮にその零Ｈは脊髄後角であるとすると生産し続ける fact3: その零Ｈは項垂れるかあるいはそれは生産し続けるかもしくはどちらもである ; $hypothesis$ = 「その零Ｈは項垂れないかまたは生産し続けるかあるいはどちらもだ」ということは誤りだ ; $proof$ = 
fact2 & fact1 -> int1: その零Ｈは生産し続ける; int1 -> hypothesis; __DISPROVED__
事実1: その零Ｈは脊髄後角だ
事実2: もし仮にその零Ｈは脊髄後角であるとすると生産し続ける
事実3: その零Ｈは項垂れるかあるいはそれは生産し続けるかもしくはどちらもである

仮説: 「その零Ｈは項垂れないかまたは生産し続けるかあるいはどちらもだ」ということは誤りだ
1. 事実2と事実1から、推論1: "その零Ｈは生産し続ける"が導かれる
2. 推論1から、仮説が否定される

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