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