Premise: Ds knock on tree trunks

Hypothesis: Knocks on walls.
Relation: contradiction