Given a premise, retrieve a hypothesis that is entailed by the premise.Note that eliminating the rule is not a simple change and has a downside.
Eliminating the rule has a downside.
Eliminating the rule is a completely positive change.