Anchor: Four dogs are playing in a circle and one black dog is walking away.
Entailed: There are five dogs.
Contradiction: All the dogs are laying down.
Contradiction: They are surfing
Contradiction: A large part of sightseeing in Hong Kong is in the water traffic.
Contradiction: All of the bicycles are being repaired.
Contradiction: Auditors ought to search for cost and schedule discrepancies using cost models.