Backward chaining expressions always lead to worse performance than forward chaining rules