Anne is red. Dave is blue. Dave is green. Dave is red. Dave is young. Harry is red. Harry is smart. All big things are young. If something is young then it is big. If Harry is red and Harry is blue then Harry is young. All blue, smart things are young. Young, green things are blue. All green things are smart. Smart things are kind. If something is smart and young then it is green.
Dave is not red.