Переведите на символический язык сложное суждение

«Осужденный состоял на профилактическом учете» - р;
«Осужденный водворялся в ШИЗО» - р1;
«Осужденный был признан злостным нарушителем установленного порядка отбывания наказания» - р2;
«Администрация ИУ длительное время не принимала мер по его переводу на общий вид режима» - (-s);
«Осужденный изолирован не был» - (-s1).
Это сложное конъюнктивное суждение, состоящее их пяти простых суждений, три из которых утвердительны, два – отрицательны