story: [Marian]'s son, [John], was busy with school activities and forgot to meet his sister. [Valerie] was swimming with her sister [Marian]. [Valerie]'s brother [Michael] was tanning.
query: ('Michael', 'John')
clean_story: [Valerie] was swimming with her sister [Marian]. [Valerie]'s brother [Michael] was tanning. [Marian]'s son, [John], was busy with school activities and forgot to meet his sister.
proof_state: [{('Michael', 'nephew', 'John'): [('Michael', 'sister', 'Marian'), ('Marian', 'son', 'John')]}, {('Michael', 'sister', 'Marian'): [('Michael', 'sister', 'Valerie'), ('Valerie', 'sister', 'Marian')]}]