Feedback for “Indirect Reasoning with LLMs”

[Crestina2001]

It does not work in my task.

My task is to tell whether a 'hypothesis' is entailed in a 'premise' or not. My hypothesis is a triple [subject, predicate, obeject], while my premise is a long text. My prompt firstly asks the LLM to find the sentence relevant to the hypothesis, then shorten the sentence, finally use NOT hypothesis and NOT premise for reasoning.

But the issue is with the sentence shortening: LLM cannot shorten the sentence correctly: it may combine the hypothesis into it !!

Any ideas to deal with lengthy premises with a lot of irrelevant information?