While it may be inappropriate to frame an entire game, you should always be on the look out for framing opportunities within a question.
We are dealing with a must be true question stem, a local question telling us that U is first.

The first thing the local rule tells us is that we can trigger our biconditional of ~U<--->R2. We now know that R cannot be 2nd.
What we can see is that the placement of S is very limited. Before we entered the questions, we knew that S could only go 1 or 3 if it is to be in the race.
Now it is down to just 3 if it is to be in the race.
So I would frame this by showing what happens when S is 3 and what happens when S is out.

*I often, out to the left side, denote the variables that have not been placed left so as to keep track of my list.*
It is now time to consider the first frame. We know we cannot have a QT block. This means we cannot have Q. We now know that Q must be out. We now know that T and R must be in. We know the R cannot be 2, so that means that R must be fourth and T must be second.
As for the second frame, I know that with S being out, Q, T, and R must be in. Since we have a QT block and R cannot be 2, we know that the QT block will occupy slots 2 and 3, which will force R at 4.

This is what must be true in both scenarios, R being 4th.