I think you project is not well proposed. I guess your 4 expression are true and/or false for someone of the variables (deadlock, cycle, knot, experience). If you want I can calculate for you when all 4 are true...
..or I can try to send you a formal solution, but I don't know if it will be 'formal' enought for you.