Одна из фраз - правда.
Вторая - ложь.
Это дано!

Смотрим.
Атос.
"Никогда не лгу" - враньё!!! (Дано ведь, что он один раз соврал)
Значит "друг кардинала" правда.

Портос
Ничего не понятно. Может быть и за Кардинала и за Короля

Арамис
"Атос - друг кардинала" - правда (уже выяснили)
Значит вторая фраза - ложь, и сам Арамис за кардинала

Д'Артаньян
Если одна фраза - правда, то вторая - ложь, и наоборот.
Т.е. если Портос за короля, до д'Артаньян за кардинала, и наоборот

Резюме!!!
За кардинала - трое.
Атос, Арамис и кто-то из этих двоих (либо Портос, либо д'Артаньян)