Diagnosing depression via symptomatic deduction