Rough Deduction