Anne is rough. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Erin is green. Erin is rough. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If something is green then it is cold. White, rough things are quiet. If something is cold and green then it is rough. If something is quiet and green then it is kind. Kind, white things are smart. All rough things are white. If Anne is quiet then Anne is kind. If Anne is smart then Anne is green. If Erin is not quiet then Erin is not cold.
Anne is smart.