story: [Alan] took his son [Emmanuel] to soccer practice. [Alan] bought a book for his son [Clarence]. [Valerie] visited her son [Clarence] at college.
query: ('Valerie', 'Emmanuel')
clean_story: [Valerie] visited her son [Clarence] at college. [Alan] bought a book for his son [Clarence]. [Alan] took his son [Emmanuel] to soccer practice.
proof_state: [{('Valerie', 'son', 'Emmanuel'): [('Valerie', 'son', 'Clarence'), ('Clarence', 'brother', 'Emmanuel')]}, {('Clarence', 'brother', 'Emmanuel'): [('Clarence', 'father', 'Alan'), ('Alan', 'son', 'Emmanuel')]}]