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