Rubik's Cube by Logic