Premise: Mike Hoffman (born September 20, 1980) is an American former professional ice hockey player. After leaving the University of Connecticut in 2003, he began his first pro season playing with the Worcester IceCats in the AHL and the Peoria Rivermen of the ECHL. He signed a professional contract with the Toronto Maple Leafs in 2005, but he has never played in the National Hockey League.
Hypothesis: Mike Hoffman has never been injured in National Hockey League game.