story: [Alverta] went shopping at the mall with her father [Antonio]. [Frank] and his Aunt [Alverta] flew first class [James] 'son, [Frank], aced his math class and made his father proud.
clean_story: [James] 'son, [Frank], aced his math class and made his father proud. [Frank] and his Aunt [Alverta] flew first class [Alverta] went shopping at the mall with her father [Antonio].
proof_state: [{('James', 'father', 'Antonio'): [('James', 'sister', 'Alverta'), ('Alverta', 'father', 'Antonio')]}, {('James', 'sister', 'Alverta'): [('James', 'son', 'Frank'), ('Frank', 'aunt', 'Alverta')]}]