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