premise: Whilst Mr Black, Mr Saul and Mr Hardy travel to work by bus, Mr Jones and Mr Peters travel by train. Mr Black and Mr Saul also walk part of the way. Mr Saul, Mr Peters and Mr Hardy have season tickets.
hypothesis: Mr Jones does not have a season ticket and does not walk