story: [Alfred] asked his father, [Rudolph], to help him with his math homework. [Rudolph] could n't, because he was lousy at math himself. [Kenneth] loves to play baseball with his dad, [Alfred]. [Alfred] is a man with a son named [Willie]. [Lisbeth] baked a cake for her son [Willie].
query: ('Lisbeth', 'Rudolph')
clean_story: [Lisbeth] baked a cake for her son [Willie]. [Alfred] is a man with a son named [Willie]. [Alfred] asked his father, [Rudolph], to help him with his math homework. [Rudolph] could n't, because he was lousy at math himself.
proof_state: [{('Lisbeth', 'father', 'Rudolph'): [('Lisbeth', 'son', 'Willie'), ('Willie', 'grandfather', 'Rudolph')]}, {('Willie', 'grandfather', 'Rudolph'): [('Willie', 'father', 'Alfred'), ('Alfred', 'father', 'Rudolph')]}]