Charlie is big. Charlie is blue. Charlie is nice. Charlie is not round. Charlie is smart. Charlie is white. Charlie is young. Erin is not big. Erin is blue. Erin is nice. Erin is round. Erin is smart. Erin is white. Erin is young. All big, white people are smart. If someone is nice then they are young. All nice people are smart. If Erin is round and Erin is not white then Erin is smart. If Charlie is not big then Charlie is blue. If someone is young and not white then they are smart.
Erin is not smart.