car(1,red).
car(2,blue).
car(3,yellow).
car(4,red).
car(5,yellow).
car(6,blue).
car(7,red).

maxd(2).
