story: [Lisbeth] is taking a trip to see her sister [Lisa]. [Rudolph] 'son [Mark] could not believe that his father bought him a coffee machine for his birthday. [Carol] and her sister [Lisbeth] braided each other's hair before school. [Mark]'s sister, [Lisbeth], was so happy to have him home. He was home from college.
query: ('Rudolph', 'Lisa')
clean_story: [Rudolph] 'son [Mark] could not believe that his father bought him a coffee machine for his birthday. [Mark]'s sister, [Lisbeth], was so happy to have him home. He was home from college. [Lisbeth] is taking a trip to see her sister [Lisa].
proof_state: [{('Rudolph', 'daughter', 'Lisa'): [('Rudolph', 'son', 'Mark'), ('Mark', 'sister', 'Lisa')]}, {('Mark', 'sister', 'Lisa'): [('Mark', 'sister', 'Lisbeth'), ('Lisbeth', 'sister', 'Lisa')]}]