La clé est dans GROUP BY/HAVING en utilisant un COUNT de noms de téléphone DISTINCT. Lorsque le nombre est de 2, vous saurez que l'utilisateur a les deux téléphones.
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;