Text: Muller's men probably, he thought.
Entailment: He thought that they were Muller's men.
Contradiction: He thought that they were McDonald's men.