story: [Helen] and her son [Leo] made hot dogs. [Leo]'s brother [Clyde] ate one. [Clyde]'s mother, [Helen], was disappointed that he failed his math class [Gene]'s grandmother, [Dorothy], was eager to spend a weekend with all of her grandchildren. [Clyde] got his son, [Johnny], a car for his birthday. [Clyde] played basketball with his brother [Gene].
query: ('Johnny', 'Dorothy')
clean_story: [Clyde] got his son, [Johnny], a car for his birthday. [Clyde]'s mother, [Helen], was disappointed that he failed his math class [Helen] and her son [Leo] made hot dogs. [Leo]'s brother [Clyde] ate one. [Clyde] played basketball with his brother [Gene]. [Gene]'s grandmother, [Dorothy], was eager to spend a weekend with all of her grandchildren.
proof_state: [{('Johnny', 'mother', 'Dorothy'): [('Johnny', 'son', 'Gene'), ('Gene', 'grandmother', 'Dorothy')]}, {('Johnny', 'son', 'Gene'): [('Johnny', 'son', 'Leo'), ('Leo', 'brother', 'Gene')]}, {('Leo', 'brother', 'Gene'): [('Leo', 'brother', 'Clyde'), ('Clyde', 'brother', 'Gene')]}, {('Johnny', 'son', 'Leo'): [('Johnny', 'son', 'Clyde'), ('Clyde', 'brother', 'Leo')]}, {('Clyde', 'brother', 'Leo'): [('Clyde', 'mother', 'Helen'), ('Helen', 'son', 'Leo')]}]
edge_types: ['son', 'mother', 'son', 'brother', 'brother', 'grandmother']