story: [Antonio] took his son [Kevin] out for ice cream. [Pedro]'s mother, [Shantel], was disappointed that he failed his math class [Harold] and his son [Antonio] went to the cinema together. [Pedro] got his son, [Harold], a car for his birthday.
query: ('Kevin', 'Shantel')
clean_story: [Antonio] took his son [Kevin] out for ice cream. [Harold] and his son [Antonio] went to the cinema together. [Pedro] got his son, [Harold], a car for his birthday. [Pedro]'s mother, [Shantel], was disappointed that he failed his math class
proof_state: [{('Kevin', 'grandmother', 'Shantel'): [('Kevin', 'father', 'Antonio'), ('Antonio', 'mother', 'Shantel')]}, {('Antonio', 'mother', 'Shantel'): [('Antonio', 'brother', 'Pedro'), ('Pedro', 'mother', 'Shantel')]}, {('Antonio', 'brother', 'Pedro'): [('Antonio', 'father', 'Harold'), ('Harold', 'son', 'Pedro')]}]
edge_types: ['father', 'father', 'son', 'mother']