25-9-2013 Inference: Deduction