story: [Johanna] invited her mother [Donna], her brother [Young] and her daughter [Sarah] over to watch the football game on Sunday.
clean_story: [Johanna] invited her mother [Donna], her brother [Young] and her daughter [Sarah] over to watch the football game on Sunday.
proof_state: [{('Young', 'mother', 'Donna'): [('Young', 'sister', 'Johanna'), ('Johanna', 'mother', 'Donna')]}, {('Johanna', 'mother', 'Donna'): [('Johanna', 'daughter', 'Sarah'), ('Sarah', 'grandmother', 'Donna')]}]