Bob is cold. Bob is not furry. Dave is cold. Dave is quiet. Erin is blue. Erin is cold. Erin is furry. If something is blue then it is round. If Erin is furry and Erin is not blue then Erin is not cold. If something is nice and not blue then it is furry. Round, quiet things are not smart. If something is round and not nice then it is quiet. If something is cold and not quiet then it is not round.
Dave is not nice.