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