story: [James]'s sister, [Carol], was so happy to have him home. He was home from college. [Lisa] asked her mother, [Sandra], to help her with her math homework. [Sandra] said she would, as soon as she put her son [James] to bed. [Lisbeth] called [Lisa], her sister, to see if she wanted to go out to eat.
query: ('Lisa', 'Carol')
clean_story: [Lisa] asked her mother, [Sandra], to help her with her math homework. [Sandra] said she would, as soon as she put her son [James] to bed. [James]'s sister, [Carol], was so happy to have him home. He was home from college.
proof_state: [{('Lisa', 'sister', 'Carol'): [('Lisa', 'brother', 'James'), ('James', 'sister', 'Carol')]}, {('Lisa', 'brother', 'James'): [('Lisa', 'mother', 'Sandra'), ('Sandra', 'son', 'James')]}]