I'm not sure how to interpret this question, five years after the last addition this thread.
What is the answer on the game that you're referring to? What did Matt say that contradicted it?
In the original post, the poster wanted to know how to symbolize two ideas:
T won’t be selected only if G is selected.
and
Y is not selected if X is selected.
According to Matt's post / rules / summary...
For the first one,
"T won’t be selected only if G is selected."
we need to see the conditional trigger
only if, which we then remember indicates the necessary idea.
So "G is selected" is the necessary idea.
---> G
That means we put "T won't be selected" as the sufficient idea.
~T --> G
For the other one,
"Y is not selected if X is selected."
we need to see the conditional trigger
if, which we then remember indicates the sufficient idea.
So "X is selected" is the sufficient idea.
X -->
That means we put "Y is not selected" as the necessary idea.
X --> ~Y
Let me know if you have trouble with either of those translations.