story: [Philip]'s mother, [Donna], took him shopping for a new television [Marian] went to her son [Joseph]'s House [Philip] and his son [Joseph] went to the cinema together.
clean_story: [Marian] went to her son [Joseph]'s House [Philip] and his son [Joseph] went to the cinema together. [Philip]'s mother, [Donna], took him shopping for a new television
proof_state: [{('Marian', 'mother', 'Donna'): [('Marian', 'son', 'Joseph'), ('Joseph', 'grandmother', 'Donna')]}, {('Joseph', 'grandmother', 'Donna'): [('Joseph', 'father', 'Philip'), ('Philip', 'mother', 'Donna')]}]