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