story: [Philip] took his daughter [Lillian] out for dinner. [Marian] and her mother [Donna] went to the mall to try on new clothes. [Marian] has a daughter named [Lillian]
clean_story: [Philip] took his daughter [Lillian] out for dinner. [Marian] and her mother [Donna] went to the mall to try on new clothes. [Marian] has a daughter named [Lillian]
proof_state: [{('Philip', 'mother', 'Donna'): [('Philip', 'daughter', 'Lillian'), ('Lillian', 'grandmother', 'Donna')]}, {('Lillian', 'grandmother', 'Donna'): [('Lillian', 'mother', 'Marian'), ('Marian', 'mother', 'Donna')]}]