I've written a proof which ends with the (simplified) statement:
"Statement A is true iff a<x<b OR b<x<a"
This is because b is not necessarily greater than a. In plain English, "Statement A is true if and only if x is between values a and b"
I wonder if there is some way of combining the chained inequalities, hence being able to get rid of OR.