#4 - Global

[Jon Denning]

Question #4 is a Global Must Be True question, so we need to move immediately into the answers and aggressively look for the single option that is always going to occur as given. Our initial setup and inferences should help us here (as well as the Templates, if you chose to create them).

Fortunately we can track right to answer choice (D), where G is always an R, and see that it is the sole truth provided. We knew this inference from the beginning and we're rewarded nicely for it here.

As a reminder, G must be an R because of two things: there is only one remaining U after J, who always gets a U. And since K and F must have different themes, then one of them must get the other U. That leaves both G and H as Rs, always.

If you hadn't found this inference up front don't fret! This is a perfect—and reasonably simple—opportunity to learn it and add it to your main setup. It's also a useful double-check to make sure that nothing you've done up to this point had G as a U.