Anchor: Retired employees do pay premiums, however, and the service cost to the employer entity is defined net of the actuarial present value of those future premiums.
Entailed: There are some retired employees who pay premiums.
Contradiction: Retired employees do not pay any premiums at all.
Contradiction: A couple and a dog play in the park.
Contradiction: A horse is getting new shoes.
Contradiction: Newsweek does not have any photos in the magazine.  
Contradiction: A blindfolded man.