Premise:  Hoping to find a lake is included

Hypothesis: The hope of finding a lake is excluded.
Relation: contradiction