story: [Francisco] looks to his loving mother [Lisbeth] for guidance in with his math homework. [Francisco] enjoys talking to his sister. Her name is [Ellen]. [Lisbeth] met her dad, [Rudolph], for the first time when he returned from deployment. [Rudolph] and his daughter [Lisa] helped to make Thanksgiving dinner together.
query: ('Francisco', 'Lisa')
clean_story: [Francisco] looks to his loving mother [Lisbeth] for guidance in with his math homework. [Lisbeth] met her dad, [Rudolph], for the first time when he returned from deployment. [Rudolph] and his daughter [Lisa] helped to make Thanksgiving dinner together.
proof_state: [{('Francisco', 'aunt', 'Lisa'): [('Francisco', 'mother', 'Lisbeth'), ('Lisbeth', 'sister', 'Lisa')]}, {('Lisbeth', 'sister', 'Lisa'): [('Lisbeth', 'father', 'Rudolph'), ('Rudolph', 'daughter', 'Lisa')]}]