Anne is big. Anne is cold. Anne is furry. Anne is round. Anne is smart. Anne is young. Bob is big. Bob is furry. Bob is young. Dave is furry. Dave is round. Dave is smart. All furry, rough people are smart. If someone is big and smart then they are rough. Rough, round people are cold. Smart people are rough. If someone is round then they are rough. If Bob is furry and Bob is round then Bob is smart. All rough, young people are furry. If Anne is big and Anne is cold then Anne is round.
Anne is not rough.