story: [Edward]'s aunt [Marian] took him to the store to do some last minute party shopping. [Henry] is buying his daughter [Marian] a brand new car for her birthday. [Edward] got his son, [John], a car for his birthday.
clean_story: [Edward] got his son, [John], a car for his birthday. [Edward]'s aunt [Marian] took him to the store to do some last minute party shopping. [Henry] is buying his daughter [Marian] a brand new car for her birthday.
proof_state: [{('John', 'father', 'Henry'): [('John', 'sister', 'Marian'), ('Marian', 'father', 'Henry')]}, {('John', 'sister', 'Marian'): [('John', 'son', 'Edward'), ('Edward', 'aunt', 'Marian')]}]