Text: The efficient justice arrives at the court around 9 and leaves by 3--what other job in Washington has such sweet hours?
Entailment: Justices are able to leave by 3.
Contradiction: Justices always have to stay late.