Text: Wow, I knew that Texas fans were upset about Juan Gonzalez not starting the All-Star game, but they really have to chill out.
Entailment: Juan Gonzalez was not a starting player at the All-Star game.
Contradiction: Texas fans were happy that Juan Gonzalez was not starting the All-Star game.