story: [Mary] went to the mall, because she wanted to look for a present for her daughter, [Bonnie]. [William] received a novel for Christmas from his aunt [Katherine]. [Charlsie], who is the sister of [Jon], is a lovely girl. [Katherine] called her son, [Ronald], from upstairs so that he could eat lunch. [Ronald] got his sister, [Jon], so she could eat lunch as well. [Bonnie] was excited to visit her son, [William], at college.
query: ('Mary', 'Charlsie')
clean_story: [Mary] went to the mall, because she wanted to look for a present for her daughter, [Bonnie]. [Bonnie] was excited to visit her son, [William], at college. [William] received a novel for Christmas from his aunt [Katherine]. [Katherine] called her son, [Ronald], from upstairs so that he could eat lunch. [Ronald] got his sister, [Jon], so she could eat lunch as well. [Charlsie], who is the sister of [Jon], is a lovely girl.
proof_state: [{('Mary', 'granddaughter', 'Charlsie'): [('Mary', 'daughter', 'Katherine'), ('Katherine', 'daughter', 'Charlsie')]}, {('Mary', 'daughter', 'Katherine'): [('Mary', 'daughter', 'Bonnie'), ('Bonnie', 'sister', 'Katherine')]}, {('Katherine', 'daughter', 'Charlsie'): [('Katherine', 'daughter', 'Jon'), ('Jon', 'sister', 'Charlsie')]}, {('Bonnie', 'sister', 'Katherine'): [('Bonnie', 'son', 'William'), ('William', 'aunt', 'Katherine')]}, {('Katherine', 'daughter', 'Jon'): [('Katherine', 'son', 'Ronald'), ('Ronald', 'sister', 'Jon')]}]
edge_types: ['daughter', 'son', 'aunt', 'son', 'sister', 'sister']