Anne is kind. Dave is furry. Erin is furry. If someone is kind then they are cold. If Dave is red then Dave is cold. If someone is kind then they are quiet. All big, kind people are quiet. If Erin is cold and Erin is furry then Erin is quiet. If someone is kind then they are cold. All cold people are big. If Anne is quiet then Anne is cold.
Dave is not quiet.