Anne is big. Anne is cold. Anne is smart. Anne is young. Bob is big. Bob is cold. Bob is red. Bob is rough. Bob is white. Dave is big. Dave is cold. Dave is rough. Dave is smart. Dave is white. Dave is young. Erin is big. All big people are cold. All smart people are red. If someone is red and white then they are smart. If someone is white and big then they are smart. Young, red people are white. If someone is red then they are young. If someone is big and cold then they are white. Red people are big.
Erin is white.