Dave is cold. Dave is green. Dave is quiet. Dave is red. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is smart. All green, blue people are nice. Red people are blue. If Dave is nice and Dave is red then Dave is smart.
Dave is not green.