story: [Michael] played soccer with his brother [Christopher] all day. [Christopher] was glad to get some time away from his annoying sister, [Dorothy].
query: ('Michael', 'Dorothy')
clean_story: [Michael] played soccer with his brother [Christopher] all day. [Christopher] was glad to get some time away from his annoying sister, [Dorothy].
proof_state: [{('Michael', 'sister', 'Dorothy'): [('Michael', 'brother', 'Christopher'), ('Christopher', 'sister', 'Dorothy')]}]