story: [John] asked his father, [Elliott], to help him with his math homework. [Elliott] could n't, because he was lousy at math himself. [Molly] told her daughter [Valerie] she was sick. [Molly] then called her son [Elliott] and he took her to the hospital.
query: ('John', 'Valerie')
clean_story: [John] asked his father, [Elliott], to help him with his math homework. [Elliott] could n't, because he was lousy at math himself. [Molly] told her daughter [Valerie] she was sick. [Molly] then called her son [Elliott] and he took her to the hospital.
proof_state: [{('John', 'aunt', 'Valerie'): [('John', 'father', 'Elliott'), ('Elliott', 'sister', 'Valerie')]}, {('Elliott', 'sister', 'Valerie'): [('Elliott', 'mother', 'Molly'), ('Molly', 'daughter', 'Valerie')]}]