Cool experiment and a good demonstration of why neural networks are not a good fit for problems that have a discrete logical structure.