story: [Christopher]'s son, [Jeffrey], had been misbehaving, so [Christopher] had to spank him. [Christopher] is the proud father of the lovely [William]
query: ('William', 'Jeffrey')
clean_story: [Christopher] is the proud father of the lovely [William] [Christopher]'s son, [Jeffrey], had been misbehaving, so [Christopher] had to spank him.
proof_state: [{('William', 'brother', 'Jeffrey'): [('William', 'father', 'Christopher'), ('Christopher', 'son', 'Jeffrey')]}]