Premissza: A kutya üldözte a macskát, ami felfutott egy fára. A tetején várt.
Hipotézis: A macska a fa tetején várt.