A tiered deep learning and symbolic reasoning framework for safe, explainable disease diagnosis