Dave is big. Dave is blue. Dave is furry. Dave is red. Dave is smart. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is smart. Green things are red. If something is blue then it is green. Big things are red.
Dave is not green.