Charlie is not big. Erin is smart. Gary is big. Harry is smart. Quiet people are not round. If Harry is green then Harry is not big. If someone is red and not nice then they are green. If someone is round and not red then they are not green. If someone is red and not smart then they are big. If someone is not big then they are quiet.
Charlie is big.