story: [Judy] has to get a birthday present for her husband, [David] and for her son, [Michael]. [Michael] is staying with his grandmother, [Jennifer] for the weekend. [Judy] asked her daughter, [Dorothy], if she would like to go to a movie with her on Saturday night.
clean_story: [Judy] has to get a birthday present for her husband, [David] and for her son, [Michael]. [Michael] 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', 'Michael'), ('Michael', 'grandmother', 'Jennifer')]}]