story: [Bernard] has a brother who is younger than him. The brother has a sister whose name is [Rosemary]. [Thomas] is the grandson of [Adam] and [Bernard] is [Thomas]'s brother.
query: ('Bernard', 'Adam')
clean_story: [Thomas] is the grandson of [Adam] and [Bernard] is [Thomas]'s brother.
proof_state: [{('Bernard', 'grandfather', 'Adam'): [('Bernard', 'brother', 'Thomas'), ('Thomas', 'grandfather', 'Adam')]}]