story: [Rudolph] is a man with a son named [James]. [Rudolph] has a daughter named [Lisa] who visits him every Sunday for dinner. [Lisbeth] is a daughter of [Rudolph] it seems. [Sue]'s father is named [James].
query: ('Sue', 'Lisbeth')
clean_story: [Sue]'s father is named [James]. [Rudolph] is a man with a son named [James]. [Lisbeth] is a daughter of [Rudolph] it seems.
proof_state: [{('Sue', 'aunt', 'Lisbeth'): [('Sue', 'father', 'James'), ('James', 'sister', 'Lisbeth')]}, {('James', 'sister', 'Lisbeth'): [('James', 'father', 'Rudolph'), ('Rudolph', 'daughter', 'Lisbeth')]}]