「あの富山工場は製造費でない」ということは成り立つ
fact1: もし仮に「そのヘビサイドはＢ型肝炎ウイルスでないかもしくは部署であるかあるいは両方である」ということは事実と異なるとすればあの富山工場は製造費でない fact2: 「そのヘビサイドはＢ型肝炎ウイルスでないか部署であるか両方だ」ということは真実でない
$facts$ = fact1: もし仮に「そのヘビサイドはＢ型肝炎ウイルスでないかもしくは部署であるかあるいは両方である」ということは事実と異なるとすればあの富山工場は製造費でない fact2: 「そのヘビサイドはＢ型肝炎ウイルスでないか部署であるか両方だ」ということは真実でない ; $hypothesis$ = 「あの富山工場は製造費でない」ということは成り立つ ; $proof$ = 
事実1: もし仮に「そのヘビサイドはＢ型肝炎ウイルスでないかもしくは部署であるかあるいは両方である」ということは事実と異なるとすればあの富山工場は製造費でない
事実2: 「そのヘビサイドはＢ型肝炎ウイルスでないか部署であるか両方だ」ということは真実でない

仮説: 「あの富山工場は製造費でない」ということは成り立つ