story: [John] played golf with his father [Henry] and his son [William]. [Kathleen] was mad at her son, [William]. She found he'd been stealing from her purse.
clean_story: [Kathleen] was mad at her son, [William]. She found he'd been stealing from her purse. [John] played golf with his father [Henry] and his son [William].
proof_state: [{('Kathleen', 'father', 'Henry'): [('Kathleen', 'son', 'William'), ('William', 'grandfather', 'Henry')]}, {('William', 'grandfather', 'Henry'): [('William', 'father', 'John'), ('John', 'father', 'Henry')]}]