story: [Lisa] and her sister [Alma] went to the basketball game. [Lisa] invited [Christopher] to meet them there, since she is his sister.
query: ('Christopher', 'Alma')
clean_story: [Lisa] and her sister [Alma] went to the basketball game. [Lisa] invited [Christopher] to meet them there, since she is his sister.
proof_state: [{('Christopher', 'sister', 'Alma'): [('Christopher', 'sister', 'Lisa'), ('Lisa', 'sister', 'Alma')]}]