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