Text: Computer pioneers John Von Neumann and Alan Turing were also mentioned--big surprise that their names should crop up in an Internet forum.
Entailment: It was no surprise that computer pioneers John Von Neumann and Alan Turing were also mentioned
Contradiction: It was a big surprise that computer pioneers John Von Neumann and Alan Turing were also mentioned