[PT-ES:[EN-PT:Deduction (reasoning)]]