bigger(batuta,marker).
bigger(marker,pencil).
bigger(X,Z) :- bigger(X,Y), bigger(Y,Z).