Bob is red. Bob is cold. Dave is rough. Dave is cold. Eric is rough. Eric is kind. Eric is green. Fred is young. If someone is kind and young then they are red. If someone is kind and green then they are big. If someone is kind and green and big then they are young. If someone is rough and green then they are blue. If someone is cold and round and rough then they are kind. If someone is green and big and cold then they are red.
Eric is red.