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