Premise: At the back of the house is a walled terraced garden.

Hypothesis: The house has a garden in the front.
Relation: contradiction