Anne is cold. Anne is red. Anne is smart. Anne is young. Charlie is quiet. Charlie is smart. Charlie is young. Dave is smart. Erin is big. Erin is cold. Erin is quiet. Erin is red. Big, cold people are quiet. Quiet, smart people are furry. All cold, red people are big. If Dave is smart then Dave is cold. All red people are big. Smart, cold people are furry. If someone is furry then they are red. Young people are smart.
Dave is quiet.