If Trump were actually trying, it'd have happened by now. He's commander-in-chief, he can literally make a full withdrawal anytime he wants. If he is trying, he's so bad at it that it barely counts. If the generals don't listen to him, he should punish them.
When I said Rand Paul would get us out, I don't mean he'd pussy around the issue like Trump (and low key Obama) have. I mean he'd take the heat and actually get it done, probably in his first year at worst. And that's something I respect about him for even if I disagree with on most other issues.