「もし「その自己診断は確診しないけれど限り無し」ということは誤りであるとすればあの自己診断は高じるということはない」ということは間違いである
fact1: 「何かは確診しないがそれは限り無し」ということは偽だとすれば高じない
$facts$ = fact1: 「何かは確診しないがそれは限り無し」ということは偽だとすれば高じない ; $hypothesis$ = 「もし「その自己診断は確診しないけれど限り無し」ということは誤りであるとすればあの自己診断は高じるということはない」ということは間違いである ; $proof$ = 
事実1: 「何かは確診しないがそれは限り無し」ということは偽だとすれば高じない

仮説: 「もし「その自己診断は確診しないけれど限り無し」ということは誤りであるとすればあの自己診断は高じるということはない」ということは間違いである