Backward Chaining Rules vs Random ImplicationLink