Yes, our reasoning platform is not made to deal with this kind of stuff, but it's fun, in a perverse way, to see where can it take us.

Kinda like passing a bitmap image to an audio player, or passing it through a mp3 compressor and loading the resulting data in an image viewer, trying to discover anything interesting in the output.