story: [Michael] is [Alan]'s Brother. [Molly] read her son [Alan] a bedtime story every night. [Michael] took his daughter, [Reta], to the Cavaliers game on Saturday.
query: ('Molly', 'Reta')
clean_story: [Molly] read her son [Alan] a bedtime story every night. [Michael] is [Alan]'s Brother. [Michael] took his daughter, [Reta], to the Cavaliers game on Saturday.
proof_state: [{('Molly', 'granddaughter', 'Reta'): [('Molly', 'son', 'Michael'), ('Michael', 'daughter', 'Reta')]}, {('Molly', 'son', 'Michael'): [('Molly', 'son', 'Alan'), ('Alan', 'brother', 'Michael')]}]