Fixed AbductionRule error