そのＨＣＶ‐ＲＮＡは低しない
fact1: 「この電脳は流動化しないしまた改竄でない」ということは偽だ fact2: もしも「この電脳は流動化しないしさらに改竄でない」ということは真実でないならば「そのＨＣＶ‐ＲＮＡは低し」ということは成り立つ
$facts$ = fact1: 「この電脳は流動化しないしまた改竄でない」ということは偽だ fact2: もしも「この電脳は流動化しないしさらに改竄でない」ということは真実でないならば「そのＨＣＶ‐ＲＮＡは低し」ということは成り立つ ; $hypothesis$ = そのＨＣＶ‐ＲＮＡは低しない ; $proof$ = 
事実1: 「この電脳は流動化しないしまた改竄でない」ということは偽だ
事実2: もしも「この電脳は流動化しないしさらに改竄でない」ということは真実でないならば「そのＨＣＶ‐ＲＮＡは低し」ということは成り立つ

仮説: そのＨＣＶ‐ＲＮＡは低しない