[Doug31]

Let the statement be ??

Where ?? means you implied, which it perfectly understands, This computer says the good door is the first door gives a response of true, this computer says the good door is the second door gives a response of false, and not a statement otherwise. The implication is a solution to this problem which exists so even though you don't necessarily know what it is, since the computer can perfectly tell what you mean, it gives you the solution anyway. And since I used the either not inverted or doubly inverted "this computer says" clause, it must tell the truth.