Answer
The reordering is:
3. $\forall x$, if x is black, then x is a square.
2. In contrapositive form: $\forall x$, if x is a square, then x is above all the gray objects.
4. $\forall x$, if x is above all the gray objects, then x is above all the triangles.
1. $\forall x$, if x is above all the triangles, then x is above all the blue objects.
$\therefore$ if x is black, then x is above all the blue objects.
Work Step by Step
Universal transitivity:
∀x,P(x)→Q(x).
∀x,Q(x)→R(x).
∴∀x,P(x)→R(x).
