Learning the art of deduction