premise: Policisti so v schengenskem informacijskem sistemu preverili vozilo in ugotovili, da je bilo ukradeno v Italiji.
hypothesis: Po preverjanju v računalniških evidencah policisti pogosto pridejo do odkritja kraja kraje vozila.