Anne is white. Bob is cold. Dave is round. All cold things are round. White, round things are cold. If Anne is nice then Anne is smart. If something is cold and white then it is furry. Cold, nice things are not young. If something is round and not smart then it is not furry. If something is not nice and not round then it is furry. If something is nice and not smart then it is cold.
Anne is not furry.