Premise: Your friends should have been here by now, shouldn't they?

Hypothesis: It's good that your friends are already here.
Relation: contradiction