Premissza: Ahogy Olivér felvitte Tomit a hosszú, kanyargós lépcsősoron, fájt a lába.
Hipotézis: Olivérnek fájt a lába.