story: [Mark] is going to the arcade with his sister, [Mary]. [David] invited his brothers [Bernard] and [Mark] over for dinner one day and they had a good time.
query: ('Mark', 'Bernard')
clean_story: [David] invited his brothers [Bernard] and [Mark] over for dinner one day and they had a good time.
proof_state: [{('Mark', 'brother', 'Bernard'): [('Mark', 'brother', 'David'), ('David', 'brother', 'Bernard')]}]