story: [Dorothy] dropped her son, [Seth], off for soccer practice. Afterwards she went home to make a cake for her daughter, [Lilly]. [Alvin] and his son [Seth] went to the cinema together. [Seth] and his brother [Arthur] always played pranks on each other [Lilly] and [Seth] left that evening to go bowling. [Daniel] and his son [Alvin] went to the cinema together.
query: ('Arthur', 'Daniel')
clean_story: [Seth] and his brother [Arthur] always played pranks on each other [Lilly] and [Seth] left that evening to go bowling. [Dorothy] dropped her son, [Seth], off for soccer practice. Afterwards she went home to make a cake for her daughter, [Lilly]. [Alvin] and his son [Seth] went to the cinema together. [Daniel] and his son [Alvin] went to the cinema together.
proof_state: [{('Arthur', 'grandfather', 'Daniel'): [('Arthur', 'mother', 'Dorothy'), ('Dorothy', 'father', 'Daniel')]}, {('Dorothy', 'father', 'Daniel'): [('Dorothy', 'son', 'Seth'), ('Seth', 'grandfather', 'Daniel')]}, {('Seth', 'grandfather', 'Daniel'): [('Seth', 'father', 'Alvin'), ('Alvin', 'father', 'Daniel')]}, {('Arthur', 'mother', 'Dorothy'): [('Arthur', 'brother', 'Seth'), ('Seth', 'mother', 'Dorothy')]}, {('Seth', 'mother', 'Dorothy'): [('Seth', 'sister', 'Lilly'), ('Lilly', 'mother', 'Dorothy')]}]
edge_types: ['brother', 'sister', 'mother', 'son', 'father', 'father']