Describir: Formal logic and flowchart for diagnosis validity verification and inclusion in clinical decision support systems