Anne is blue. Anne is furry. Anne is quiet. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Dave is smart. If Dave is round and Dave is nice then Dave is smart. If someone is smart then they are blue. All smart people are quiet. If someone is blue and furry then they are quiet. All quiet people are blue. If Anne is cold then Anne is smart. Nice people are cold. Furry people are blue.
Anne is not cold.