Charlie is round. Dave is not big. Erin is big. Gary is round. If Dave is big then Dave is cold. If someone is smart and not nice then they are not round. If Charlie is smart and Charlie is not nice then Charlie is big.
Charlie is not big.