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