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