story: [Valerie] made pancakes for her brother [Elliott]'s son [John] while her sister [Michelle] watched.
query: ('John', 'Michelle')
clean_story: [Valerie] made pancakes for her brother [Elliott]'s son [John] while her sister [Michelle] watched.
proof_state: [{('John', 'aunt', 'Michelle'): [('John', 'father', 'Elliott'), ('Elliott', 'sister', 'Michelle')]}, {('Elliott', 'sister', 'Michelle'): [('Elliott', 'sister', 'Valerie'), ('Valerie', 'sister', 'Michelle')]}]