Charlie is white. Dave is quiet. Erin is quiet. Gary is cold. All big things are cold. All white things are red. Quiet, red things are white. If something is big then it is quiet. If Gary is big and Gary is blue then Gary is smart. White, cold things are blue. If something is quiet then it is white. If Erin is smart and Erin is quiet then Erin is blue.
Charlie is not smart.