story: [Michelle]'s father, [Peter], took her to school this morning. [Rose] has a sister named [Carol] and a brother named [Peter]. [Sandra]'s daughter, [Rose], just graduated high school.
query: ('Sandra', 'Carol')
clean_story: [Sandra]'s daughter, [Rose], just graduated high school. [Rose] has a sister named [Carol] and a brother named [Peter].
proof_state: [{('Sandra', 'daughter', 'Carol'): [('Sandra', 'daughter', 'Rose'), ('Rose', 'sister', 'Carol')]}, {('Rose', 'sister', 'Carol'): [('Rose', 'brother', 'Peter'), ('Peter', 'sister', 'Carol')]}]