story: [Jason] is a man with a daughter named [Dorothy]. [Dorothy]'s son, [Micheal], recently started a pawn shop.
query: ('Jason', 'Micheal')
clean_story: [Jason] is a man with a daughter named [Dorothy]. [Dorothy]'s son, [Micheal], recently started a pawn shop.
proof_state: [{('Jason', 'grandson', 'Micheal'): [('Jason', 'daughter', 'Dorothy'), ('Dorothy', 'son', 'Micheal')]}]