Statements T=A<X≤S;E<X Conclusions . I. T<S II. T>E
Statements: S * K, T & K, K * B Conclusions: I. S $ B II. S @ B
Statements: J * M, M $ N, N # T
Conclusions: I. T @ J II. T $ J