Charlie is kind. Charlie is smart. Dave is big. Dave is kind. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is white. Gary is smart. If something is quiet then it is white. Nice things are white. If something is nice then it is kind. All cold things are nice. If something is quiet then it is white. All kind, big things are cold. If Charlie is smart then Charlie is quiet. If something is white and smart then it is big. If Charlie is cold and Charlie is big then Charlie is smart.
Gary is not nice.