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