story: [Clarence] and his father [Alan] played video games all day last Saturday. [James] invited his sister [Marian] to dinner. [James]'s brother [Alan] was too busy to attend.
query: ('Clarence', 'Marian')
clean_story: [Clarence] and his father [Alan] played video games all day last Saturday. [James] invited his sister [Marian] to dinner. [James]'s brother [Alan] was too busy to attend.
proof_state: [{('Clarence', 'aunt', 'Marian'): [('Clarence', 'father', 'Alan'), ('Alan', 'sister', 'Marian')]}, {('Alan', 'sister', 'Marian'): [('Alan', 'brother', 'James'), ('James', 'sister', 'Marian')]}]