story: [Wayne] has a daughter called [Alicia]. [Johanna] and her mother [Donna] went to the mall to try on new clothes. [Johanna] has a daughter named [Alicia]
clean_story: [Wayne] has a daughter called [Alicia]. [Johanna] and her mother [Donna] went to the mall to try on new clothes. [Johanna] has a daughter named [Alicia]
proof_state: [{('Wayne', 'mother', 'Donna'): [('Wayne', 'daughter', 'Alicia'), ('Alicia', 'grandmother', 'Donna')]}, {('Alicia', 'grandmother', 'Donna'): [('Alicia', 'mother', 'Johanna'), ('Johanna', 'mother', 'Donna')]}]