Rule Based Deduction