Tenes razón, la 4 es falsa puede lo que se bloquearía es todo el hilo KLT con todos sus ULT, pero no todo el proceso porque puede tener mas de un KLT.

Lo del valor del semáforo menor a 1 te da a entender que al llamarse al wait() se va a bloquear, porque si es mayor que 1 el wait() solo decrementaría el valor pero no bloquearía, bloquea cuando queda en 0 o negativo.