「「益無しないとしたら充血しない一方で調べ易い」ものはある」ということは嘘だ
fact1: 「もし仮に「益無しない」ということは確かだとすると調べ易い」物はある fact2: もしもその新巣が益無しないとすれば調べ易い fact3: 「仮に「益無し」ということは事実と異なるということはないとすれば充血しないし調べ易い」ものはある fact4: もし仮にその新巣が益無しとすると充血しないがしかし調べ易い fact5: 益無しないものは調べ易い fact6: 益無しない物は充血しないけれど調べ易い
fact6 -> int1: その新巣が益無しないとするとそれは充血しないけど調べ易い; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「益無しない」ということは確かだとすると調べ易い」物はある fact2: もしもその新巣が益無しないとすれば調べ易い fact3: 「仮に「益無し」ということは事実と異なるということはないとすれば充血しないし調べ易い」ものはある fact4: もし仮にその新巣が益無しとすると充血しないがしかし調べ易い fact5: 益無しないものは調べ易い fact6: 益無しない物は充血しないけれど調べ易い ; $hypothesis$ = 「「益無しないとしたら充血しない一方で調べ易い」ものはある」ということは嘘だ ; $proof$ = 
fact6 -> int1: その新巣が益無しないとするとそれは充血しないけど調べ易い; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「益無しない」ということは確かだとすると調べ易い」物はある
事実2: もしもその新巣が益無しないとすれば調べ易い
事実3: 「仮に「益無し」ということは事実と異なるということはないとすれば充血しないし調べ易い」ものはある
事実4: もし仮にその新巣が益無しとすると充血しないがしかし調べ易い
事実5: 益無しないものは調べ易い
事実6: 益無しない物は充血しないけれど調べ易い

仮説: 「「益無しないとしたら充血しない一方で調べ易い」ものはある」ということは嘘だ
1. 事実6から、推論1: "その新巣が益無しないとするとそれは充血しないけど調べ易い"が導かれる
2. 推論1から、仮説が否定される

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