Premise: As this is Jerusalem, both accounts of the ownership might be true.

Hypothesis: The account of ownership is certain.
Relation: contradiction