¿Cómo se resuelve este ejercicio de lógica?

Necesito que me ayuden con el siguiente ejercicio de lógica matemática haciendo uso del método de demostración directo, primero tengo que pasar a lenguaje simbólico el ejercicio para obtener las premisas y después demostrarlas por el método antes mencionado.

El ejercicio es el #8. Agradeceré mucho las respuestas y el tiempo que se tomen en ayudarme.