A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders