Erin is big. Gary is not nice. If someone is not nice then they are smart. All nice people are smart. All cold people are white. Cold people are not nice. If someone is big then they are quiet. If Erin is smart and Erin is not nice then Erin is cold.
Gary is not smart.