Ferromagnetic lattice spin systems can be expressed as gases of random walks interacting via a soft core repulsion. By using a mixed spinrandom walk representation we present a unified approach to many recently established correlation inequalities. As an application of these inequalities we obtain a simple proof of the mass gap for the λ(φ4)2 quantum field model. We also establish new upper bounds on critical temperatures.