story: [Alfred] took his daughter [Ellen] out for nachos. [Alfred]'s son [Francisco] played with his friend instead. [Louise] is a woman with a sister named [Ellen]. [Francisco] has an aunt named [Lisa].
query: ('Ellen', 'Lisa')
clean_story: [Alfred] took his daughter [Ellen] out for nachos. [Alfred]'s son [Francisco] played with his friend instead. [Francisco] has an aunt named [Lisa].
proof_state: [{('Ellen', 'aunt', 'Lisa'): [('Ellen', 'father', 'Alfred'), ('Alfred', 'sister', 'Lisa')]}, {('Alfred', 'sister', 'Lisa'): [('Alfred', 'son', 'Francisco'), ('Francisco', 'aunt', 'Lisa')]}]