Let's assume that this horse is the squid. By the fact that it is a horse, it can be ridden. Now we all know that nobody would ever think of riding a squid. So clearly, a squid is not a horse. This is a contradiction! Thus, our original assumption is incorrect, and we have proven that this horse is most certainly not a squid. We have also proven that I have been in logic far too long. |