Text: Suppose, for the sake of argument, that in 1950 it becomes foreseeable that Daimler-Benz will eventually make reparations.
Entailment: Daimler-Benz may make reparations.
Contradiction: Daimler-Benz is required to make reparations in 1950.