We notice that
1+ba+1+cb+1+dc+1+ad+abcd≤1+abcda+1+abcdb+1+abcdc+1+abcdd+abcd=1+abcda+b+c+d+abcd.
Using repeatedly the inequality x+y≤1+xy, ∀x,y∈[0,1] (equivalent to (1−x)(1−y)≥0, therefore true), we get a+b+c+d≤1+ab+1+cd=ab+cd+2≤1+abcd+2=abcd+3.
Replacing x=abcd∈[0,1], it is enough to prove that 1+1+x2+x≤3, that is 2+x2+x≤2x+2, or x(1−x)≥0, which is clearly true.