Anne is furry. Bob is furry. Charlie is rough. If someone is round then they are red. Young people are red. Rough people are round. If Anne is quiet and Anne is young then Anne is furry. All round, young people are rough. Furry, quiet people are young. All red, kind people are furry. If someone is quiet and furry then they are red.
Charlie is not rough.