このパックは戦死するがしかしＨＣＶ遺伝子だということはない
fact1: 「このパックは戦死するけれどＨＣＶ遺伝子でない」ということは偽である
$facts$ = fact1: 「このパックは戦死するけれどＨＣＶ遺伝子でない」ということは偽である ; $hypothesis$ = このパックは戦死するがしかしＨＣＶ遺伝子だということはない ; $proof$ = 
事実1: 「このパックは戦死するけれどＨＣＶ遺伝子でない」ということは偽である

仮説: このパックは戦死するがしかしＨＣＶ遺伝子だということはない