Hardest LR question I have encountered

Seems like to master this question you have to practice all of quantifiers, sufficient and necessary, and strengthen. Am I missing anything? This was an extremely hard question.