Dave is big. Dave is blue. Dave is cold. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is cold. Erin is rough. Erin is smart. Erin is young. All young people are blue. If Dave is big then Dave is smart. All rough people are smart. If someone is rough then they are cold. Blue, smart people are young. If someone is red and young then they are smart. Cold, blue people are young. All rough people are young.
Erin is not big.