Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Erin is rough. Erin is smart. Gary is cold. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If something is round then it is cold. If Gary is rough then Gary is smart. All smart, cold things are round. If something is round then it is quiet. Rough, round things are cold. If something is smart and furry then it is quiet. Rough, white things are round. If something is round and smart then it is cold.
Gary is not smart.