Most Federal civilian employees hired before 1984 are not covered by Social Security.
All the civilian employees from before 1984 have social security.
mnli hypothesis: All the civilian employees from before 1984 have social security. premise: Most Federal civilian employees hired before 1984 are not covered by Social Security.