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.

Many thanks