alright, without knowing your average solar exposure in winter (Lets say 4h/day), or how many hours you plan to run the lights each day (Lets say 18h/6h on/off), I estimate that you would need at least a 18252w{*4h} solar array with a 4200w inverter, and 12600Ah 12v battery bank. Mind you, those batteries are rated "times-two", because of course, lead acids should never be discharged beyond 50%. Decreasing the number of panels can be done and improvement in efficiency on the order of around 30% can be achieved if you do away with batteries and use multi-farad capacitors. Just understand that capacitors have a voltage drop problem when the current (charge) within them is consumed [Design your system to account for that drop]. There are not really any solar power ready capacitor bank options yet in the consumer market, but keep your eyes out for cheaper and more power dense super-caps in the future. The guys are right; Go pure DC with those panels and use LEDs. The solar panels, capacitors, LEDs; They may all be made of organic graphene based electronic technology in the future, really driving down cost (for all electronics). Good luck on your journey!
Stay stoned!