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