story: [Kathleen] is having dinner with her daughter, [Noreen], and sister, [Johanna]. [Johanna]'s mother, [Donna], will be visiting them tonight, also.
clean_story: [Kathleen] is having dinner with her daughter, [Noreen], and sister, [Johanna]. [Johanna]'s mother, [Donna], will be visiting them tonight, also.
proof_state: [{('Noreen', 'grandmother', 'Donna'): [('Noreen', 'mother', 'Kathleen'), ('Kathleen', 'mother', 'Donna')]}, {('Kathleen', 'mother', 'Donna'): [('Kathleen', 'sister', 'Johanna'), ('Johanna', 'mother', 'Donna')]}]