Bob is big. Bob is quiet. Bob is red. Bob is round. Charlie is not big. Charlie is smart. Erin is quiet. Erin is red. Erin is rough. Erin is not smart. Big things are young. All smart, young things are not quiet. Round, smart things are red. If something is not big and not red then it is smart. If Erin is rough and Erin is not smart then Erin is round. If something is smart and not round then it is not big.
Charlie is quiet.