Dave is green. Dave is round. Dave is white. Harry is green. Harry is kind. Harry is red. Harry is round. Blue things are not green. If something is red then it is kind. If Dave is blue and Dave is red then Dave is green. If Harry is kind and Harry is green then Harry is red. If something is smart then it is not white. Green, smart things are kind.
Dave is not green.