story: [Melanie] always goes to the park with her son [Benito] on Saturdays. [Melanie] and her daughter [Patricia] went to see a movie yesterday and then got ice cream afterwards. [Melanie] gave up her son [Benito] at birth because she was still so young. [Melanie] had another son named [Henry] and a daughter named [Thelma] when she got older.
query: ('Patricia', 'Henry')
clean_story: [Melanie] and her daughter [Patricia] went to see a movie yesterday and then got ice cream afterwards. [Melanie] always goes to the park with her son [Benito] on Saturdays. [Melanie] gave up her son [Benito] at birth because she was still so young. [Melanie] had another son named [Henry] and a daughter named [Thelma] when she got older.
proof_state: [{('Patricia', 'brother', 'Henry'): [('Patricia', 'brother', 'Benito'), ('Benito', 'brother', 'Henry')]}, {('Patricia', 'brother', 'Benito'): [('Patricia', 'mother', 'Melanie'), ('Melanie', 'son', 'Benito')]}, {('Benito', 'brother', 'Henry'): [('Benito', 'sister', 'Thelma'), ('Thelma', 'brother', 'Henry')]}, {('Benito', 'sister', 'Thelma'): [('Benito', 'mother', 'Melanie'), ('Melanie', 'daughter', 'Thelma')]}]
edge_types: ['mother', 'son', 'mother', 'daughter', 'brother']