Given statements: S * K, T $ K, K @ B After converting: S ≥ K, T = K, K > B After combining: S ≥ K = T > B Conclusion a → S $ B → S = B The relation between S and B in the statement S ≥ K = T > B : S = B So, it is not true. Conclusion b → S @ B → S > B The relation between S and B in the statement S ≥ K = T > B :  S > B. So, it is true.