I have 8 variables, all between 0 and 1. I have a system of 4 inequalities as follows
$\mid a_1 - x_1 \mid - \mid b_1 - x_1 \mid + b_2 -a_2 < 0$
$\mid b_1 - y_1 \mid - \mid a_1 - y_1 \mid + a_2 -b_2 < 0$
$\mid a_1 - y_1 \mid - \mid a_1 - x_1 \mid + x_2 -y_2 < 0$
$\mid b_1 - x_1 \mid - \mid b_1 - y_1 \mid + y_2 -x_2 < 0$
I have tried to carefully design a system of values that satisfies the inequalities, and by this process I have convinced myself that such numbers do not exist. Is there a way to prve it without expanding the absolute values?