story: [Emmanuel] and his sister [Venita] went to dinner with their dad [Alan], while their other sibling, [Jason], stayed home.
query: ('Alan', 'Jason')
clean_story: [Emmanuel] and his sister [Venita] went to dinner with their dad [Alan], while their other sibling, [Jason], stayed home.
proof_state: [{('Alan', 'son', 'Jason'): [('Alan', 'son', 'Emmanuel'), ('Emmanuel', 'brother', 'Jason')]}, {('Emmanuel', 'brother', 'Jason'): [('Emmanuel', 'sister', 'Venita'), ('Venita', 'brother', 'Jason')]}]