Premise: Monsieur Poirot was within.

Hypothesis: Monsieur Poirot was not within the premises.
Relation: contradiction