story: [Jeff]'s brother, [Jeremy], recently made it into town. [Jeremy] and his sister, [Stephanie] love it when their grandmother visits because she spoils them. She is coming this week to watch them while their parents are out of town. [Ruth] coached her daughter [Stephanie]'s cheer leading squad. When [Ruth]'s son [Jeremy] became interested in joining, she reorganized the team line up to include him. [Jeremy] bought gifts for his lovely sister, [Gloria]
query: ('Jeff', 'Gloria')
clean_story: [Jeff]'s brother, [Jeremy], recently made it into town. [Ruth] coached her daughter [Stephanie]'s cheer leading squad. When [Ruth]'s son [Jeremy] became interested in joining, she reorganized the team line up to include him. [Jeremy] and his sister, [Stephanie] love it when their grandmother visits because she spoils them. She is coming this week to watch them while their parents are out of town. [Jeremy] bought gifts for his lovely sister, [Gloria]
proof_state: [{('Jeff', 'sister', 'Gloria'): [('Jeff', 'mother', 'Ruth'), ('Ruth', 'daughter', 'Gloria')]}, {('Ruth', 'daughter', 'Gloria'): [('Ruth', 'daughter', 'Stephanie'), ('Stephanie', 'sister', 'Gloria')]}, {('Jeff', 'mother', 'Ruth'): [('Jeff', 'brother', 'Jeremy'), ('Jeremy', 'mother', 'Ruth')]}, {('Stephanie', 'sister', 'Gloria'): [('Stephanie', 'brother', 'Jeremy'), ('Jeremy', 'sister', 'Gloria')]}]
edge_types: ['brother', 'mother', 'daughter', 'brother', 'sister']