Anne is rough. Anne is not round. Anne is smart. Dave is blue. Dave is kind. Dave is round. Fiona is blue. Gary is not rough. Gary is smart. Gary is not young. If someone is kind and young then they are rough. If someone is red and not smart then they are not kind. If Dave is rough and Dave is kind then Dave is not smart. Round people are young. If someone is not young then they are blue. If Gary is not rough then Gary is not red.
Anne is not blue.