story: [Lisa] misses her father [Rudolph] when she is at school. [Lisa] is always around her brother [James]. [Carol] went to the park with her son [Michael] and after the park they went to visit [Rudolph] who is [Carol] father.
query: ('Lisa', 'Michael')
clean_story: [Lisa] misses her father [Rudolph] when she is at school. [Carol] went to the park with her son [Michael] and after the park they went to visit [Rudolph] who is [Carol] father.
proof_state: [{('Lisa', 'nephew', 'Michael'): [('Lisa', 'sister', 'Carol'), ('Carol', 'son', 'Michael')]}, {('Lisa', 'sister', 'Carol'): [('Lisa', 'father', 'Rudolph'), ('Rudolph', 'daughter', 'Carol')]}]