Anne is red. Anne is young. Bob is furry. Bob is quiet. Dave is blue. Dave is quiet. Dave is red. Dave is rough. Dave is white. Dave is young. Fiona is quiet. If something is red then it is blue. All red, furry things are rough. If Dave is quiet then Dave is rough. If Anne is red and Anne is furry then Anne is quiet. All furry, quiet things are young. All rough things are white. If something is young then it is red. If Dave is blue and Dave is white then Dave is quiet. All quiet things are furry.
Anne is not red.