Anchor: In pure type-1 worksharing, the analysis of the decision and the benefits is simple.
Entailed:  Type-1 work sharing is simple and beneficial.
Contradiction:  Type-1 work sharing is complicated and worthless.
Contradiction: A infant is asleep in the crib.
Contradiction: Illustrations about local tin mining can be seen at the Geological Museum.
Contradiction: There is only doubt they would have done it.
Contradiction: The dog is outdoors.