story: [Errol] asked his mother [Rose] to read to him. [Rose] was too busy. [Casey] and his brother [Errol] went to the movies. [Casey] wanted to see an action movie, but [Errol] convinced him to go to a horror film instead. [Jeannette] went to the park with her sister [Jennifer]. [Jennifer] decided not to invite her brother, [Errol], though.
query: ('Jeannette', 'Casey')
clean_story: [Jeannette] went to the park with her sister [Jennifer]. [Jennifer] decided not to invite her brother, [Errol], though. [Casey] and his brother [Errol] went to the movies. [Casey] wanted to see an action movie, but [Errol] convinced him to go to a horror film instead.
proof_state: [{('Jeannette', 'brother', 'Casey'): [('Jeannette', 'brother', 'Errol'), ('Errol', 'brother', 'Casey')]}, {('Jeannette', 'brother', 'Errol'): [('Jeannette', 'sister', 'Jennifer'), ('Jennifer', 'brother', 'Errol')]}]