story: [James] took her daughter [Rosemary] for ice cream. [Mark] asked his father [James] if he could have a video game and he said okay. [Adam] is an engineer who loves to take his son [James] to the science museum to help him learn about the world
query: ('Adam', 'Rosemary')
clean_story: [Adam] is an engineer who loves to take his son [James] to the science museum to help him learn about the world [James] took her daughter [Rosemary] for ice cream.
proof_state: [{('Adam', 'granddaughter', 'Rosemary'): [('Adam', 'son', 'James'), ('James', 'daughter', 'Rosemary')]}]