Charlie is not big. Charlie is red. Charlie is round. Charlie is smart. Dave is big. Dave is nice. Dave is rough. Dave is round. Dave is smart. Erin is big. Erin is blue. Gary is red. If Dave is rough then Dave is big. All blue, smart things are not nice. If something is not round then it is smart.
Erin is not smart.