Anne is not green. Bob is furry. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Gary is blue. Gary is quiet. All round things are rough. If Anne is furry then Anne is red. All red things are round. All rough things are quiet. All red things are furry. If Bob is red and Bob is rough then Bob is green. If something is round and not red then it is furry. If something is not green then it is furry.
Anne is not red.