A computer program that converts an entire program into

Statements: F % W, W © R, R @ M, M $ D

Conclusions:

Statements:

A ≤ B > E ≥ F; M > E < N

Conclusions:

I. N > F

II. B > F

Statement: V > R; C > U > Q; C < R

Conclusion:

I.V > Q

II. V > U

Statements: D > E > G ≤ H < I; G > P > F

Conclusions:

I. D > F

II. P < I

III. D > I

Statements: F > T = O > E < P ≤ X > H < M

Conclusion I: F ≥ E

II: X > E

Statements: A = B ≥ C > D, F > G = H ≥ J, D ≥ E ≥ I > F

Conclusions:

I. D ≥ H

II. I > J

III. G < A

Statements: U > G = L > V < K ≤ C > S < N

Conclusion I: U ≥ V

II: C > V

Statement: Z > A ≥ B; Y > W ≤ A

Conclusions: I. Z > W II. Y > Z

Statements: R ≤ K ≤ H = O ≥ D > Q; K > P

Conclusions:I. K < Q II. D ≥ P