You can typically linearly scale ingredients. I.e. if you want a 5 gallon recipe, and are starting with a 7 gallon recipe, multiply all ingredients by 5/7.**
Per above, assuming 60 minute boil, and 10 lbs if malt, I'd guess you need ~7.75 gallons to start. Thats for 1.25 gallons lost to the...