IRA leaders want to create the coalition government before disarming.
IRA leaders want to disarm immediately.
mnli hypothesis: IRA leaders want to disarm immediately. premise: IRA leaders want to create the coalition government before disarming.