A chave está em GROUP BY/HAVING usando uma COUNT de nomes de telefone DISTINTOS. Quando a contagem for 2, você saberá que o usuário tem ambos telefones.
SELECT m5.name
FROM mark5 m5
INNER JOIN mark4 m4
ON m5.uid = m4.uid
INNER JOIN mark3 m3
ON m4.phoneid = m3.phoneid
WHERE m3.name in ('HTC', 'Samsung')
GROUP BY m5.name
HAVING COUNT(DISTINCT m3.name) = 2;