7. Логіка спростування