story: [Robert]'s father's name is [Paul]. [Michelle] made popcorn for her son [Paul]. [Paul]'s daughter [Sabrina] ate candy instead.
query: ('Michelle', 'Sabrina')
clean_story: [Michelle] made popcorn for her son [Paul]. [Paul]'s daughter [Sabrina] ate candy instead.
proof_state: [{('Michelle', 'granddaughter', 'Sabrina'): [('Michelle', 'son', 'Paul'), ('Paul', 'daughter', 'Sabrina')]}]