Anne is cold. Anne is quiet. Anne is young. Charlie is furry. Charlie is red. Charlie is smart. Dave is blue. Dave is cold. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is smart. If something is smart then it is red. Cold, blue things are young. If something is red and blue then it is quiet. Cold, quiet things are blue. All furry things are red. All blue, red things are smart. If Erin is smart and Erin is blue then Erin is cold. If something is quiet then it is furry. Young things are smart.
Dave is not red.