story: [May] and [Paul] have a brother named [Thomas] [Molly] is [Paul] 'grandmother.
query: ('Molly', 'Thomas')
clean_story: [Molly] is [Paul] 'grandmother. [May] and [Paul] have a brother named [Thomas]
proof_state: [{('Molly', 'grandson', 'Thomas'): [('Molly', 'granddaughter', 'May'), ('May', 'brother', 'Thomas')]}, {('Molly', 'granddaughter', 'May'): [('Molly', 'grandson', 'Paul'), ('Paul', 'sister', 'May')]}]