「「もしも狭窄病変でなくて加えて当該合併でないとしたら「済生でない」ということは成り立つ」ものはある」ということは成り立たない
fact1: 「もし仮に狭窄病変だがしかし当該合併でないなら「済生でない」ということは誤りだということはない」ものはある fact2: もしこの浮遊物が狭窄病変だということはない一方で当該合併だとするとそれは済生でない fact3: もし仮にこの浮遊物が狭窄病変でないしそれが当該合併でないとすればそれは済生でない fact4: もしもこの浮遊物が狭窄病変でなくてその上生物学的脱燐法でないなら逗留する fact5: 「もし仮にオールＥＳでなくて虚脱しないなら逗留しない」ものはある
fact3 -> hypothesis;
$facts$ = fact1: 「もし仮に狭窄病変だがしかし当該合併でないなら「済生でない」ということは誤りだということはない」ものはある fact2: もしこの浮遊物が狭窄病変だということはない一方で当該合併だとするとそれは済生でない fact3: もし仮にこの浮遊物が狭窄病変でないしそれが当該合併でないとすればそれは済生でない fact4: もしもこの浮遊物が狭窄病変でなくてその上生物学的脱燐法でないなら逗留する fact5: 「もし仮にオールＥＳでなくて虚脱しないなら逗留しない」ものはある ; $hypothesis$ = 「「もしも狭窄病変でなくて加えて当該合併でないとしたら「済生でない」ということは成り立つ」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もし仮に狭窄病変だがしかし当該合併でないなら「済生でない」ということは誤りだということはない」ものはある
事実2: もしこの浮遊物が狭窄病変だということはない一方で当該合併だとするとそれは済生でない
事実3: もし仮にこの浮遊物が狭窄病変でないしそれが当該合併でないとすればそれは済生でない
事実4: もしもこの浮遊物が狭窄病変でなくてその上生物学的脱燐法でないなら逗留する
事実5: 「もし仮にオールＥＳでなくて虚脱しないなら逗留しない」ものはある

仮説: 「「もしも狭窄病変でなくて加えて当該合併でないとしたら「済生でない」ということは成り立つ」ものはある」ということは成り立たない
1. 事実3から、仮説が否定される

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