This is a tough one to answer. The inch ratings for lifts and tire sizes printed on the sidewall are really just good to check to ensure everything will fit without any rubbing issues, but there is a bit more that comes into play that makes it hard to predict the final overall height of the vehicle.
Pretty much every brand of lift kit will give you more lift than what it's rated for, sometimes well over an inch more than advertised. The main reason for that is because the weight of your Jeep can be different depending on whether the rest of it is light and stock or weighed down by a winch, steel bumpers, armour, etc. Basically, they want to ensure that you get at least as much lift as advertised after the springs have settled even if you have a very heavy Jeep. That way, you'll be sure of what size tires you can fit under it, regardless of what the Jeep weighs.
On the other side, all tires will be smaller than advertised. That's because when they give their measured dimensions, they use a particular width wheel within the range the tire was designed to fit, and measure at max inflation pressure without being mounted on a vehicle. By the time you have these mounted on your wheels, compressed by the weight of the Jeep, and inflated to the right pressure to give an even wear pattern (could be just around half of the tire's max pressure depending on the brand), you've lost over an inch from the advertised max diameter.
That said, 4" is a lot of lift for 35" tires. With that combination, I'm thinking you will be very close to the height of a standard 7' garage door, too close to call really. You should be able to fit those tires fine with as little as a 2.5" lift, and you can even fit 35s with no lift and trimmed or flat fenders (and possibly trimming pinch seams if they're not already done). That might be something for you to consider.
