Instruct: Given a premise, retrieve a hypothesis that is entailed by the premise.
Query: 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.
Mike Hoffman celebrated his birthday on September 20, 2010. 
Nathan MacKinnon played professional hockey for the Avalanche. 
Smirnov was never drafted in the NHL.
Billy Mckenzie never made it to a finals game
Henry Murphy owned an MLB organization
The Peoria Rivermen are associated with an NHL team
The Toronto FC was still playing in 2012
William McGirt started two strokes behind Hoffman
Nathan MacKinnon played in the NHL. 
Nathan MacKinnon joined the NHL in 2013
Billy McKenzie has never played alex fitzpatrick
In 2013, Nathan MacKinnon, was drafted to play professional hockey. 
McCormack has struggled to stick on the NHL roster because he hasn't produced in the NHL.
Murphy did not hit a home run on Monday.
Mike worked at the University of Alabama
Goran Bezina never played in the NHL
Lough signed on a minor league contract. 
MIke's friends had only minor injuries.
Miller does not play for the Kings.
 Peoria Rivermen were no amateur hockey team.
Mike took music theory classes in college
William McGirt started three strokes behind Hoffman
Mike Hoffman played more then one season with the Peoria Rivermen of the ECHL.
The Worcester IceCates won several games while Mike Hoffman was on the team.
Mike Hoffman still plays hockey in his free time.