premise: John Deighton worked in the coal industry.
hypothesis: John Deighton ( November 1830 -- May 23 , 1875 ) , generally known as `` Gassy Jack '' , was a Canadian bar owner who was born in Hull , England . Colonel John Harold Greenway Deighton , MC , OBE ( 5 April 1920 -- 15 September 1999 ) was an English army officer and cricketer who played first-class cricket from 1947 to 1962 .