Premise: We set to work to trace her out.

Hypothesis: We didn't bother tracing her out.
Relation: contradiction