Fascinatingly, this is an example of why I don't think general computing machines (especially binary based ones) won't be able to reach general intelligence. In formal logic there are only three states a proposition can have: true, false, and undecidable. The liar paradox you mentioned falls into the third category for logic. Sentient beings, however, can still resolve the question of whether 93 Escort Wagon is lying or not sufficiently to decide and act on the result. We use things like "feelings" and "experiences" (both poorly defined from a computing perspective) as input, can use approaches other than formal logic such as risk evaluation, and are able to synthesize new conclusions in the absence of complete data. Computers are excellent at deductive evaluation, where we can say A=B, B=C, therefore A=C. They are terrible at inductive logic, however, which is the foundation of this types of evaluation. For example, the extrapolation that 93 Escort Wagon is intelligent (based on their post history), has not demonstrated a tendency to lie, and is clearly being sarcastic (another inductive conclusion based on your past posts), I can easily reach the conclusion that Jim is incorrect, and further that you are lying as a form of sarcasm not meant to be interpreted literally. From that induction I can therefore deduce that you are, in fact, lying about lying. I can also induce that Jim probably is not a reliable source of information on 93 Escort Wagon. Further, since the most common color of 93 Escort Wagon was a silver/gray (in my observation) I can also guess that you are also sliver/gray, and have a laugh at the incongruence of that conclusion with the assumption that you are, in fact, a human.