Anne is furry. Anne is white. Dave is smart. If something is blue and white then it is kind. Rough, white things are round. Smart things are blue. All white things are blue. If Dave is white and Dave is smart then Dave is round. Smart, blue things are kind.
Anne is not rough.