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