story: [Michael]'s wife, [Michelle], went to the library with her daughter, [May]. [Marian] went to the arcade with her niece, [May]. They had lots of fun playing together.
query: ('Michael', 'Marian')
clean_story: [Michael]'s wife, [Michelle], went to the library with her daughter, [May]. [Marian] went to the arcade with her niece, [May]. They had lots of fun playing together.
proof_state: [{('Michael', 'sister', 'Marian'): [('Michael', 'daughter', 'May'), ('May', 'aunt', 'Marian')]}, {('Michael', 'daughter', 'May'): [('Michael', 'wife', 'Michelle'), ('Michelle', 'daughter', 'May')]}]