TomoLink
Easytcs-nqt

Statement: 7 ≥ A > 4, B < 4, A ≠ B Conclusion: A > B