story: [Paul] bought gifts for his lovely sister, [Rose] [William] played golf with his father [Jacob] and his son [Paul]. [Rachel] and her son [Paul] went out to lunch together yesterday.
clean_story: [Rachel] and her son [Paul] went out to lunch together yesterday. [William] played golf with his father [Jacob] and his son [Paul].
proof_state: [{('Rachel', 'father', 'Jacob'): [('Rachel', 'son', 'Paul'), ('Paul', 'grandfather', 'Jacob')]}, {('Paul', 'grandfather', 'Jacob'): [('Paul', 'father', 'William'), ('William', 'father', 'Jacob')]}]