story: [Judy] has to get a birthday present for her husband, [David] and for her son, [Arthur]. [Arthur] is staying with his grandmother, [Jennifer] for the weekend. [Judy] went to the mall, because she wanted to look for a present for her daughter, [Dorothy].
clean_story: [Judy] has to get a birthday present for her husband, [David] and for her son, [Arthur]. [Arthur] is staying with his grandmother, [Jennifer] for the weekend.
proof_state: [{('David', 'mother-in-law', 'Jennifer'): [('David', 'wife', 'Judy'), ('Judy', 'mother', 'Jennifer')]}, {('Judy', 'mother', 'Jennifer'): [('Judy', 'son', 'Arthur'), ('Arthur', 'grandmother', 'Jennifer')]}]