Charlie is blue. Charlie is smart. Erin is big. Erin is round. Erin is smart. Gary is big. Gary is not blue. Gary is not cold. Gary is kind. Gary is not nice. Gary is round. Gary is smart. If someone is round then they are smart. Nice people are blue. If Charlie is cold then Charlie is not big. Cold people are round. If someone is cold then they are big. If someone is big and round then they are kind. If someone is cold and not blue then they are nice. If someone is big and not nice then they are not blue.
Gary is not nice.