story: [Jason] made a grilled cheese for his son [Christopher]. [Christopher]'s brother [Michael] ate a salad.
query: ('Jason', 'Michael')
clean_story: [Jason] made a grilled cheese for his son [Christopher]. [Christopher]'s brother [Michael] ate a salad.
proof_state: [{('Jason', 'son', 'Michael'): [('Jason', 'son', 'Christopher'), ('Christopher', 'brother', 'Michael')]}]