Não é possível reverter a negação na dedução %1 já que ela tem o status %2. Somente poderá ser revertida a negação em deduções ...