The statement is equivalent to
x^2y^2z^2 + 2{(xy-1)^2+(yz-1)^2+(zx-1)^2}+ x^2+y^2+z^2-2xy-2yz-2zx+2 >= 0, but
x^2y^2z^2 + 2{(xy-1)^2+(yz-1)^2+(zx-1)^2}+ x^2+y^2+z^2-2xy-2yz-2zx+2 >= x^2y^2z^2 + 2{(xy-1)^2+(yz-1)^2+(zx-1)^2} -xy-yz-zx+2 (because x^2+y^2+z^2 >= xy + yz + zx).
Write a=xy-1, b=yz-1, c=zx-1, the right hand side of the above equation is simplified to:
abc + ab + bc + ca + 2(a^2+b^2+c^2), which is >= 0 when a, b, c >= 0. If one of a, b, or c is negative, we know it is no less than -1. Suppose -1 <= a <= 0.
abc + ab + bc + ca + 2(a^2 + b^2 + c^2) >= abc + (a^2+b^2+c^2) >= |bc| + (a^2 + b^2 + c^2) >= 0