The doctor with the health certificate said that there might be AIDS. Ask her what the probability is.

Do an HIV test, subject to the test results.

Getting a health certificate is basically a routine blood test, and HIV can't be detected. If HIV is one of the physical examination items and the doctor says so, the probability is relatively high. The doctor will ask you to do another blood test, report it to the CDC and make a final conclusion.