story: [Elliott] asked his daughter, [Rosie], and his son, [Mark] if they were free to play chess. [Rosie] was busy because she had to help her brother, [Sidney], with homework.
query: ('Sidney', 'Mark')
clean_story: [Elliott] asked his daughter, [Rosie], and his son, [Mark] if they were free to play chess. [Rosie] was busy because she had to help her brother, [Sidney], with homework.
proof_state: [{('Sidney', 'brother', 'Mark'): [('Sidney', 'father', 'Elliott'), ('Elliott', 'son', 'Mark')]}, {('Sidney', 'father', 'Elliott'): [('Sidney', 'sister', 'Rosie'), ('Rosie', 'father', 'Elliott')]}]