Text: I had to format both drives.
Entailment: The two drives needed formatting.
Contradiction: There was only one to format.