Apply RULES to simplified arguments