[EN-PT:Deduction (reasoning)]