ak sledujes instrukcie lekara, mas nadej na vyliecenie.
ak dodrzujes spravnu zivotospravu, neochories.
ak si zdravy, mas vyssi pracovny vykon.
I - sledovat inst. lekara
Z - byt zdravy
D - dodrziavat zivotospravu
V - mat vyssi prac. vykon
I,Z,D,V - unarne predikaty
A1: I(x) => Z(x)
A2: D(x) => Z(x)
A3: Z(x) => V(x)