Premise: We shan't have to take another taxi.

Hypothesis: We have to use two more taxis.
Relation: contradiction