story: [Michael] went to dinner with daughter [Annette] and his father [Jason].
query: ('Jason', 'Annette')
clean_story: [Michael] went to dinner with daughter [Annette] and his father [Jason].
proof_state: [{('Jason', 'granddaughter', 'Annette'): [('Jason', 'son', 'Michael'), ('Michael', 'daughter', 'Annette')]}]