story: [Cristina] invited her sister [Rosa] and son [William] to breakfast. [William]'s sister [Diana] slept in instead. [Jonathan] is out playing tennis with his daughter [Diana] because it is nice and sunny outside. [Diana] and her mother [Jonathan] made breakfast together.
query: ('Diana', 'Rosa')
clean_story: [Jonathan] is out playing tennis with his daughter [Diana] because it is nice and sunny outside. [Diana] and her mother [Jonathan] made breakfast together. [Cristina] invited her sister [Rosa] and son [William] to breakfast. [William]'s sister [Diana] slept in instead.
proof_state: [{('Diana', 'aunt', 'Rosa'): [('Diana', 'father', 'Jonathan'), ('Jonathan', 'sister', 'Rosa')]}, {('Jonathan', 'sister', 'Rosa'): [('Jonathan', 'son', 'William'), ('William', 'aunt', 'Rosa')]}, {('William', 'aunt', 'Rosa'): [('William', 'mother', 'Cristina'), ('Cristina', 'sister', 'Rosa')]}, {('Jonathan', 'son', 'William'): [('Jonathan', 'daughter', 'Diana'), ('Diana', 'brother', 'William')]}]
edge_types: ['father', 'daughter', 'brother', 'mother', 'sister']