<human>:  Who was the leader of the IRA?
<bot>: That would be Michael Collins. He was a leader of the Irish Republican Army, which was a paramilitary group that fought for Irish independence from the United Kingdom.