story: [Christopher] is the loving father of [Lucille]. [Christopher]'s father, [Jason], is also [Lucille]'s dear grandfather.
query: ('Lucille', 'Jason')
clean_story: [Christopher] is the loving father of [Lucille]. [Christopher]'s father, [Jason], is also [Lucille]'s dear grandfather.
proof_state: [{('Lucille', 'grandfather', 'Jason'): [('Lucille', 'father', 'Christopher'), ('Christopher', 'father', 'Jason')]}]