Anne is big. Anne is cold. Anne is furry. Anne is red. Anne is rough. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Dave is quiet. Dave is smart. Erin is quiet. Red, cold people are big. If someone is big then they are rough. If someone is furry and rough then they are smart. Smart, cold people are furry. If someone is quiet then they are cold. Big, rough people are smart. If someone is quiet then they are red.
Erin is not smart.