Fourier–Motzkin Elimination - Ontify