この十五年度版は客同士でない
fact1: もしも「この十五年度版は生起する一方でα‐ヘリックス領域でない」ということは誤っているならそれは客同士でない fact2: 「この十五年度版は生起するけれどα‐ヘリックス領域でない」ということは誤りだ
$facts$ = fact1: もしも「この十五年度版は生起する一方でα‐ヘリックス領域でない」ということは誤っているならそれは客同士でない fact2: 「この十五年度版は生起するけれどα‐ヘリックス領域でない」ということは誤りだ ; $hypothesis$ = この十五年度版は客同士でない ; $proof$ = 
事実1: もしも「この十五年度版は生起する一方でα‐ヘリックス領域でない」ということは誤っているならそれは客同士でない
事実2: 「この十五年度版は生起するけれどα‐ヘリックス領域でない」ということは誤りだ

仮説: この十五年度版は客同士でない