story: [Peter] and his sister [Rose] got their mother [Rose] a new computer for her birthday. She really liked it. [Carol] and her brother [Peter] decided to organize a family vacation. [Peter] called his sister [Lisbeth] to invite her, while [Carol] called her sister [Lisa].
query: ('Lisa', 'Lisbeth')
clean_story: [Carol] and her brother [Peter] decided to organize a family vacation. [Peter] called his sister [Lisbeth] to invite her, while [Carol] called her sister [Lisa].
proof_state: [{('Lisa', 'sister', 'Lisbeth'): [('Lisa', 'sister', 'Carol'), ('Carol', 'sister', 'Lisbeth')]}, {('Carol', 'sister', 'Lisbeth'): [('Carol', 'brother', 'Peter'), ('Peter', 'sister', 'Lisbeth')]}]