story: [Judy] wanted to do something special for her son, [Arthur], on his fifth birthday. She asked her husband [David] for gift ideas. [Arthur] took his grandmother [Jennifer] a basket of strawberries. [Arthur]'s brother, [Michael], recently made it into town.
clean_story: [Judy] wanted to do something special for her son, [Arthur], on his fifth birthday. She asked her husband [David] for gift ideas. [Arthur] took his grandmother [Jennifer] a basket of strawberries.
proof_state: [{('David', 'mother-in-law', 'Jennifer'): [('David', 'wife', 'Judy'), ('Judy', 'mother', 'Jennifer')]}, {('Judy', 'mother', 'Jennifer'): [('Judy', 'son', 'Arthur'), ('Arthur', 'grandmother', 'Jennifer')]}]