Linear inequalities

[Guest]

I need an algorithm of procedure for a computer program, how to check that the system of linear inequalities with many unknowns (X1,X2,X3,X4) has no solutions, because the solutions of individual inequalities do not overlap.