story: [Emmanuel] met his uncle, [Michael], at the zoo for some fun. [Emmanuel] was at lunch with his father, [Alan]. [Alan]'s mother, [Molly], showed up an hour after they were set to meet.
query: ('Molly', 'Michael')
clean_story: [Emmanuel] was at lunch with his father, [Alan]. [Alan]'s mother, [Molly], showed up an hour after they were set to meet. [Emmanuel] met his uncle, [Michael], at the zoo for some fun.
proof_state: [{('Molly', 'son', 'Michael'): [('Molly', 'son', 'Alan'), ('Alan', 'brother', 'Michael')]}, {('Alan', 'brother', 'Michael'): [('Alan', 'son', 'Emmanuel'), ('Emmanuel', 'uncle', 'Michael')]}]