Premise: Gott im Himmel!

Hypothesis: He is not Himmel.
Relation: contradiction