story: [Kenneth]'s grandfather, [Rudolph], picked him up from school. [Anita] went on a vacation with her brother [Willie]. [Kenneth] asked his sister [Anita] to help him with his math homework. [Anita] was n't sure what to do, so she asked her sister [Louise] for some help.
query: ('Louise', 'Rudolph')
clean_story: [Kenneth] asked his sister [Anita] to help him with his math homework. [Anita] was n't sure what to do, so she asked her sister [Louise] for some help. [Kenneth]'s grandfather, [Rudolph], picked him up from school.
proof_state: [{('Louise', 'grandfather', 'Rudolph'): [('Louise', 'sister', 'Anita'), ('Anita', 'grandfather', 'Rudolph')]}, {('Anita', 'grandfather', 'Rudolph'): [('Anita', 'brother', 'Kenneth'), ('Kenneth', 'grandfather', 'Rudolph')]}]