Anne is blue. Anne is red. Bob is blue. Bob is red. Dave is not red. Fiona is big. Fiona is blue. If someone is big then they are nice. If Bob is nice then Bob is rough. Red, rough people are big. If someone is big and blue then they are nice. All blue, red people are young. If someone is red and blue then they are young. Big people are cold. If Dave is rough and Dave is nice then Dave is blue. Young people are nice.
Anne is not red.