story: [Molly] baked a cake for her son [Alan]. [Stanley] favored his son [Michael] over his other son [Alan].
query: ('Molly', 'Michael')
clean_story: [Molly] baked a cake for her son [Alan]. [Stanley] favored his son [Michael] over his other son [Alan].
proof_state: [{('Molly', 'son', 'Michael'): [('Molly', 'son', 'Alan'), ('Alan', 'brother', 'Michael')]}, {('Alan', 'brother', 'Michael'): [('Alan', 'father', 'Stanley'), ('Stanley', 'son', 'Michael')]}]