Anne is cold. Anne is furry. Anne is nice. Anne is not smart. Bob is green. Bob is nice. Bob is round. Dave is cold. Dave is kind. Dave is nice. Dave is round. Dave is smart. Smart things are kind. If something is round and furry then it is not green. All nice, round things are green. If something is furry and not smart then it is kind. If something is round and not nice then it is furry. If Anne is cold and Anne is furry then Anne is kind. If something is round and smart then it is cold. If something is not cold then it is kind.
Anne is round.