A fully quantum mechanical four-body treatment of charge transfer collisions between energetic protons and atomic helium is developed here. The Pauli exclusion principle is applied to both the wave function of the initial and final states as well as the operators involved in the interaction. Prior to the collision, the helium atom is assumed as a two-body system composed of the nucleus, He2+, and an electron cloud composed of two electrons. Nonetheless, four particles are assumed in the final state. As the double interactions contribute extensively in single charge transfer collisions, the Faddeev-Lovelace-Watson scattering formalism describes it best physically. The treatment of the charge transfer cross section, under this quasi-four-body treatment within the FWL formalism, showed that other mechanisms leading to an effect similar to the Thomas one occur at the same scattering angle. Here, we study the two-body interactions which are not classically described but which lead to an effect similar to the Thomas mechanism and finally we calculate the total singlet and triplet amplitudes as well as the angular distributions of the charge transfer cross sections. As the incoming projectiles are assumed to be plane waves, the present results are calculated for high energies; specifically a projectile energy of 7.42 MeV was assumed as this is where experimental results are available in the literature for comparison. Finally, when possible we compare the present results with the other available theoretical data.