story: [Jeannette] has a sister named [Jennifer] and a brother named [Casey]. [Rose] loves playing chess her son. His name is [Casey]. [Jennifer] was mad at her brother [Errol], because [Errol] had called her fat.
query: ('Jeannette', 'Errol')
clean_story: [Jeannette] has a sister named [Jennifer] and a brother named [Casey]. [Jennifer] was mad at her brother [Errol], because [Errol] had called her fat.
proof_state: [{('Jeannette', 'brother', 'Errol'): [('Jeannette', 'brother', 'Casey'), ('Casey', 'brother', 'Errol')]}, {('Casey', 'brother', 'Errol'): [('Casey', 'sister', 'Jennifer'), ('Jennifer', 'brother', 'Errol')]}]