story: [Christopher] was eating dinner with his wife [Myrna]. [Myrna] has a son named [Jeffrey].
query: ('Christopher', 'Jeffrey')
clean_story: [Christopher] was eating dinner with his wife [Myrna]. [Myrna] has a son named [Jeffrey].
proof_state: [{('Christopher', 'son', 'Jeffrey'): [('Christopher', 'wife', 'Myrna'), ('Myrna', 'son', 'Jeffrey')]}]