Health examinations are important for the personal and public health management. Besides they play a key role in preventive medicine. We propose a health examination system named Health Examination Automatic Logic System (HEALS) to efficiently assist clinical workers in improving the total quality of health examinations. In order to customize the clinical decision support system intuitively and flexibly, we also propose a novel rule syntax to implement computer-interpretable logic for health examinations. Quality of automated inference is confirmed by the zero inference error where during 6 months and 14,773 cases. Automated inference time is less than one second per case in contrast to two to five minutes for physicians. The most significant result of efficiency evaluation is that 3,494 of 4,356 (80.2%) cases take less than three minutes per case for making a report summary. In the evaluation of effectiveness, novice physicians got 18 percent improvement in making decisions with the assistance of our system. A survey on user satisfaction revealed high satisfaction with our system. We conclude that a health examination system integrated with a clinical decision support system can markedly reduce the mundane burden on clinical workers and improve the quality and efficiency of health examination tasks.