Formalización con ecuaciones

Tenemos las siguientes incógnitas planteadas en el enigma:
- Cantante: X
- Red Social: Y
- Deporte: Z
- Color de la habitación: T

Podriamos asociarlo a los siguientes parámetros:
- Estudiante de Informática: A
- Estudiante de Aeronáutica: B
- Estudiante de Forestales: C
- Estudainte de Agrícolas: D
- Estudiante de Industriales: E

Cada estudiante del enigma (informática, aeronáutica, forestales, industriales y agrícolas) está asociado a un cantante (incógnita X), a una red social (incógnita Y), a un deporte (incógnita Z) y a un color de habitación (incógnita T).
Por lo tanto el cantante asociado al estudiante de informática sería AX, el del estudiante de aeronáutica BX y así sucesivamente con el resto de estudiantes.
Así tenemos que, la resolución de AX + AY + AZ + AT sería igual al conjunto del: cantante, red social, deporte y color de la habitación del informático, BX + BY + BZ + BT, sería del estudiante de aeronáutica y así con los demás.
Aunque con todo esto, está formalización no se puede resolver ya que el enigma plantea situaciones espaciales como por ejemplo: "la habitación verde está a la izquierda de la habitación blanca".