story: [Ruth] took her daughter [Stephanie] to the ice cream parlor after school for a sweet treat. Since [Stephanie] gets out of school earlier than her brother [Jeremy], he missed out on the trip to get ice cream. [Gloria] always gets teased by her brother [Jeff]. [Jason], [Jeff]'s father tells him to stop it. [Jeremy], [Jason]'s son never teases [Gloria].
query: ('Gloria', 'Ruth')
clean_story: [Gloria] always gets teased by her brother [Jeff]. [Jason], [Jeff]'s father tells him to stop it. [Jeremy], [Jason]'s son never teases [Gloria]. [Ruth] took her daughter [Stephanie] to the ice cream parlor after school for a sweet treat. Since [Stephanie] gets out of school earlier than her brother [Jeremy], he missed out on the trip to get ice cream.
proof_state: [{('Gloria', 'mother', 'Ruth'): [('Gloria', 'brother', 'Jeff'), ('Jeff', 'mother', 'Ruth')]}, {('Jeff', 'mother', 'Ruth'): [('Jeff', 'brother', 'Jeremy'), ('Jeremy', 'mother', 'Ruth')]}, {('Jeremy', 'mother', 'Ruth'): [('Jeremy', 'sister', 'Stephanie'), ('Stephanie', 'mother', 'Ruth')]}, {('Jeff', 'brother', 'Jeremy'): [('Jeff', 'father', 'Jason'), ('Jason', 'son', 'Jeremy')]}]
edge_types: ['brother', 'father', 'son', 'sister', 'mother']