Nyckeln finns i GROUP BY/HAVING genom att använda ett ANTAL DISTINKT telefonnamn. När antalet är 2 vet du att användaren har båda telefoner.
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;