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