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