Parse & proof fails for a simpel example

[SICK 3573 ](https://langpro-annotator.hum.uu.nl/annotate/3573)

[Parse and proof] works for other problems, but for some reason, not for this simple problem.
I checked the API call, and both LLFs seem to be generated with entailment and contradiction proofs

<img width="1137" height="793" alt="Image" src="https://github.com/user-attachments/assets/f3e5a594-7760-4d6b-a240-14a4efe399ec" />