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