Dave is rough. Dave is green. Dave is cold. Dave is blue. Dave is big. Eric is rough. Eric is big. Fred is young. Fred is round. Fred is green. Harry is nice. Harry is green. If someone is big and red then they are nice. If someone is nice and red then they are kind. If someone is blue and rough then they are green. If someone is blue and big then they are red.
Eric is not red.