Premise: Was Dorcas there, then?

Hypothesis: Was John present there
Relation: contradiction