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