story: [Valerie] was having a hard time with her math homework, so she went to her brother [Michael] for help. [Michael] did n't seem to know either, so [Valerie] went to her father [Stanley], as she was sure he could help. [Stanley] and his son [Elliott] went to the skating rink.
query: ('Elliott', 'Michael')
clean_story: [Stanley] and his son [Elliott] went to the skating rink. [Valerie] was having a hard time with her math homework, so she went to her brother [Michael] for help. [Michael] did n't seem to know either, so [Valerie] went to her father [Stanley], as she was sure he could help.
proof_state: [{('Elliott', 'brother', 'Michael'): [('Elliott', 'sister', 'Valerie'), ('Valerie', 'brother', 'Michael')]}, {('Elliott', 'sister', 'Valerie'): [('Elliott', 'father', 'Stanley'), ('Stanley', 'daughter', 'Valerie')]}]