story: [Jonathan] took his sister, [Dana], to a baseball game. [Cecilia] invited her mother [Nettie], her brother [William] and her daughter [Dana] over to watch the football game on Sunday. [Cecilia] enjoyed a homemade dinner with her son [Jonathan]
clean_story: [Cecilia] invited her mother [Nettie], her brother [William] and her daughter [Dana] over to watch the football game on Sunday.
proof_state: [{('William', 'mother', 'Nettie'): [('William', 'sister', 'Cecilia'), ('Cecilia', 'mother', 'Nettie')]}, {('Cecilia', 'mother', 'Nettie'): [('Cecilia', 'daughter', 'Dana'), ('Dana', 'grandmother', 'Nettie')]}]