story: [Timothy] told his wife [Dana] to pick up their daughter. [Leila] and [Martin], a brother and sister, asked their mother, [Ethel], if they can go to the arcade with her brother [Kenneth]. [Leila] and her brother [Martin] are having an argument over when her dad, [Larry], will be back from the store. [Dana] 'daughter [Janice] visited for Christmas. [Janice]'s brother [Larry] was out of town for the holidays. [Joseph] enjoys going fishing with his brother. His name is [Kenneth].
query: ('Timothy', 'Joseph')
clean_story: [Timothy] told his wife [Dana] to pick up their daughter. [Dana] 'daughter [Janice] visited for Christmas. [Janice]'s brother [Larry] was out of town for the holidays. [Leila] and her brother [Martin] are having an argument over when her dad, [Larry], will be back from the store. [Leila] and [Martin], a brother and sister, asked their mother, [Ethel], if they can go to the arcade with her brother [Kenneth]. [Joseph] enjoys going fishing with his brother. His name is [Kenneth].
proof_state: [{('Timothy', 'son', 'Joseph'): [('Timothy', 'son', 'Larry'), ('Larry', 'brother', 'Joseph')]}, {('Larry', 'brother', 'Joseph'): [('Larry', 'son', 'Martin'), ('Martin', 'uncle', 'Joseph')]}, {('Martin', 'uncle', 'Joseph'): [('Martin', 'mother', 'Ethel'), ('Ethel', 'brother', 'Joseph')]}, {('Timothy', 'son', 'Larry'): [('Timothy', 'wife', 'Dana'), ('Dana', 'son', 'Larry')]}, {('Larry', 'son', 'Martin'): [('Larry', 'daughter', 'Leila'), ('Leila', 'brother', 'Martin')]}, {('Dana', 'son', 'Larry'): [('Dana', 'daughter', 'Janice'), ('Janice', 'brother', 'Larry')]}, {('Martin', 'mother', 'Ethel'): [('Martin', 'sister', 'Leila'), ('Leila', 'mother', 'Ethel')]}, {('Ethel', 'brother', 'Joseph'): [('Ethel', 'brother', 'Kenneth'), ('Kenneth', 'brother', 'Joseph')]}]
edge_types: ['wife', 'daughter', 'brother', 'daughter', 'brother', 'sister', 'mother', 'brother', 'brother']