Anne is young. Bob is kind. Bob is not red. Charlie is blue. Charlie is cold. Charlie is not red. Fiona is round. Young people are not kind. Red people are blue. If someone is kind then they are blue. If someone is cold then they are rough. If someone is rough then they are not young. If someone is blue and not young then they are round. If someone is blue and young then they are red. Rough, blue people are not red. If someone is round and not red then they are cold.
Anne is red.