Premise: I had to format both drives.

Hypothesis: The two drives needed formatting.
Relation: entailment