story: [William]'s wife is [Melanie]. They went to pick up [William]'s son, [Henry], from school together. [William] and his son, [Benito], went to the supermarket. [Henry], [William]'s son, had asked them to bring him back some cookies. [Benito] has a aunt named [Guadalupe], routinely he went to school with his aunt
query: ('Melanie', 'Guadalupe')
clean_story: [William]'s wife is [Melanie]. They went to pick up [William]'s son, [Henry], from school together. [William] and his son, [Benito], went to the supermarket. [Henry], [William]'s son, had asked them to bring him back some cookies. [Benito] has a aunt named [Guadalupe], routinely he went to school with his aunt
proof_state: [{('Melanie', 'sister', 'Guadalupe'): [('Melanie', 'son', 'Henry'), ('Henry', 'aunt', 'Guadalupe')]}, {('Henry', 'aunt', 'Guadalupe'): [('Henry', 'father', 'William'), ('William', 'sister', 'Guadalupe')]}, {('Melanie', 'son', 'Henry'): [('Melanie', 'husband', 'William'), ('William', 'son', 'Henry')]}, {('William', 'sister', 'Guadalupe'): [('William', 'son', 'Benito'), ('Benito', 'aunt', 'Guadalupe')]}]
edge_types: ['husband', 'son', 'father', 'son', 'aunt']