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