story: [Bernard] likes to go fishing with his sister. Her name is [Amanda]. [Bernard] asked his father, [James], to help him with his math homework. [James] could n't, because he was lousy at math himself. [James]'s mother, [Michelle], was calling him for dinner.
query: ('Bernard', 'Michelle')
clean_story: [Bernard] asked his father, [James], to help him with his math homework. [James] could n't, because he was lousy at math himself. [James]'s mother, [Michelle], was calling him for dinner.
proof_state: [{('Bernard', 'grandmother', 'Michelle'): [('Bernard', 'father', 'James'), ('James', 'mother', 'Michelle')]}]