select last rule

VerifiableRewardsForScalableLogicalReasoning.py

@@ -249,11 +249,10 @@ def extract_ilp_from_text_v2(text, target_predicate=None, allow_multiple_rules=F
     # Pre-process: collapse code blocks to single lines
     text = re.sub(r'\n\s*', ' ', text)  # crude: flatten all to one line
     # Rule pattern, across newlines
-    # rule_pattern = re.compile(rf'({target_predicate}\([^()]*\)\s*:-.*?\.)')
     rule_pattern = re.compile(rf'({target_predicate}\([^()]*\)\s*:-.*?\.)')
     rules = list(rule_pattern.findall(text))
     if len(rules) > 1 and not allow_multiple_rules:
-        logger.warning(f"Found multiple rules in text, but allow_multiple_rules is set to False. Using only the last match.")
+        # logger.warning(f"Found multiple rules in text, but allow_multiple_rules is set to False. Using only the last match.")
         rules = rules[-1:]
     # Remove rules that are also captured as facts
     p_code = ''