Sure. The thing of it is, I’m not asking any one troll anything just once. Think of it like this. If you have one gremlin that always lies, then if you asked it, “Are you a gremlin?” then the answer would be No. So, if you asked it, “If I asked you, ‘Are you a gremlin?’, what would you say?” then it would say “Yes” - it lies as to what the false answer is. Sort of like a double negative; it cancels itself out.
Now, that’s the easy part. That trick would work on a gremlin that always lies or always tells the truth. But what if it’s a variable gremlin? Its sequence of truth-telling alternates. So, if you asked it “If asked you, ‘Are you a gremlin?’, what would you say?” then it would respond “No”. It either lies and then tells the truth, or tells the truth and then lies. I guess you could represent it like this:
Possibility 1: ±
Possibility 2: -+
Either way, there’s an odd number of -'s, so the answer will come out being negative. If there were an even number of -'s, they’d cancel each other out, and the final answer would be positive.
Now, how do you take care of this? You ask a thrice-embedded question - it’s like asking it four times, instead of just two, as in that last solution I gave. Sort of like this:
“If I asked you, ‘If I asked you, “If I asked you, ‘Are you a gremlin?’ what would you say?” what would you say?’ what would you say?”
Now we have the following two possibilities:
±±
-±+
Similarly, if you asked a pure truth-telling gremlin, or a pure lying gremlin, a thrice-embedded question, you’d get this:
++++
So, no matter which of the four possibilites it is, there’s an even number of -'s, so the final answer will be the truth, Yes. I know this isn’t simple, so if it’s still not clear what I’m trying to say, let me know where you get lost. Also, if you do understand, and you see a flaw in it, just say so - I just made this up, so I’m not dead certain about it.