story: [Marian]'s son [John] and son [Mark] went to the park together to play. [Molly] and her grandson [John] went shopping for new shoes.
query: ('Molly', 'Mark')
clean_story: [Molly] and her grandson [John] went shopping for new shoes. [Marian]'s son [John] and son [Mark] went to the park together to play.
proof_state: [{('Molly', 'grandson', 'Mark'): [('Molly', 'grandson', 'John'), ('John', 'brother', 'Mark')]}, {('John', 'brother', 'Mark'): [('John', 'mother', 'Marian'), ('Marian', 'son', 'Mark')]}]