A. Any employee, to be insured, must be eligible for insurance, must make application for insurance, and must have such application for insurance approved.
B. Only eligible employees may apply for insurance.
C. The application of any person eligible for insurance without medical examination is automatically approved.
D. (Naturally) an application can be approved only if the application is made.
E. (Naturally) a medical examination will not be required from any person not eligible for insurance.
Answer by the Manager. There are 5 possible combinations of statuses for employees who are not insured, as shown in [Table 15].
Table 15
| Possible Combination of Statuses | Status 1, Eligible | Status 2, Applied | Status 3, Application Approved | Status 4, Examination Required | Status 5, Insured |
|---|---|---|---|---|---|
| 1 | Yes | Yes | Yes | Yes | No |
| 2 | Yes | Yes | Yes | No | No |
| 3 | Yes | Yes | No | Yes | No |
| 4 | Yes | No | Yes | No | No |
| 5 | No | No | No | No | No |
The question may be asked why employees who are eligible, who have applied for insurance, who have had their applications approved, and who require no medical examination (combination 2) are yet not insured. The answer is that the rules given do not logically lead to this conclusion. As a matter of fact, there might be additional rules, such as: any sick employee must first return to work; or any period from date of approval of application to the first of the following month must first pass.
The first step in putting this problem on the Kalin-Burkhart Logical-Truth Calculator is to rephrase the rules, using the language of the connectives that we have on the machine. The rules rephrased are: