story: [Nichole] was excited because she was meeting her father, [Christian], for lunch. [Darren] and his son [Christian] went to look at cars. [Darren] ended up buying the Mustang. [Sean]'s mother, [Evelyn], was disappointed that he failed his math class [Pennie] took her brother [Sean] and other brother [Darren] with her to eat pasta at a pasta buffet.
query: ('Nichole', 'Evelyn')
clean_story: [Nichole] was excited because she was meeting her father, [Christian], for lunch. [Darren] and his son [Christian] went to look at cars. [Darren] ended up buying the Mustang. [Pennie] took her brother [Sean] and other brother [Darren] with her to eat pasta at a pasta buffet. [Sean]'s mother, [Evelyn], was disappointed that he failed his math class
proof_state: [{('Nichole', 'mother', 'Evelyn'): [('Nichole', 'sister', 'Pennie'), ('Pennie', 'mother', 'Evelyn')]}, {('Nichole', 'sister', 'Pennie'): [('Nichole', 'brother', 'Darren'), ('Darren', 'sister', 'Pennie')]}, {('Pennie', 'mother', 'Evelyn'): [('Pennie', 'brother', 'Sean'), ('Sean', 'mother', 'Evelyn')]}, {('Nichole', 'brother', 'Darren'): [('Nichole', 'father', 'Christian'), ('Christian', 'son', 'Darren')]}]
edge_types: ['father', 'son', 'sister', 'brother', 'mother']