We don't want to shoot him, but it may be necessary.
We may have to shoot him even tho we do not want to.
mnli hypothesis: We may have to shoot him even tho we do not want to. premise: We don't want to shoot him, but it may be necessary.