Charlie is high. Charlie is strong. Alan is small. Alan is thin. Anne is quiet. Erin is poor. Erin is dull. If someone is not huge then they are poor. If someone is not bad then they are kind. If someone is quiet then they are nice. If someone is nice and not sad then they are wealthy. If someone is poor and not huge then they are rough. If someone is small and thin then they are sad. If someone is sad and not nice then they are dull. All kind people are smart. 
Erin is not smart.