premise: A satisfied cat is perched beside a crystal lamp. hypothesis: The cat is far away from a crystal lamp.
contradiction: A cat perched beside a crystal lamp cannot be  far away from the crystal lamp.