story: [Michael] has 3 lovely siblings. He has two brothers named [Alan] and [Elliott], and a wonderful sister named [Sandra]
query: ('Sandra', 'Michael')
clean_story: [Michael] has 3 lovely siblings. He has two brothers named [Alan] and [Elliott], and a wonderful sister named [Sandra]
proof_state: [{('Sandra', 'brother', 'Michael'): [('Sandra', 'brother', 'Alan'), ('Alan', 'brother', 'Michael')]}, {('Sandra', 'brother', 'Alan'): [('Sandra', 'brother', 'Elliott'), ('Elliott', 'brother', 'Alan')]}]