story: [Clarence] is [Eunice]'s husband and he also has a brother named [Carlos]. [Alan] is the name of [Carlos]'s father. They all went on vacation together.
query: ('Eunice', 'Alan')
clean_story: [Clarence] is [Eunice]'s husband and he also has a brother named [Carlos]. [Alan] is the name of [Carlos]'s father. They all went on vacation together.
proof_state: [{('Eunice', 'father-in-law', 'Alan'): [('Eunice', 'husband', 'Clarence'), ('Clarence', 'father', 'Alan')]}, {('Clarence', 'father', 'Alan'): [('Clarence', 'brother', 'Carlos'), ('Carlos', 'father', 'Alan')]}]