Anne is big. Anne is blue. Anne is furry. Anne is not rough. Bob is blue. Bob is furry. Bob is rough. Charlie is not big. Charlie is furry. Charlie is round. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is white. If something is white and round then it is rough. All furry things are blue. If Charlie is blue then Charlie is rough.
Anne is round.