Rule-based Deduction and Views in Mathematica