Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is smart. Anne is young. Dave is blue. Dave is furry. Dave is smart. Dave is young. Erin is blue. Erin is cold. Erin is red. Erin is smart. Erin is young. Blue things are red. All cold, smart things are kind. If something is red and young then it is blue. If something is young then it is furry. Red things are cold. If Erin is red then Erin is blue.
Dave is not red.