Premise: you know the company insurance and and

Hypothesis: The company has no insurance
Relation: contradiction