As we entered the large hall, John beckoned us both into the smoking-room. 
John was a heavy smoker thus we went into the smoking room.  
mnli hypothesis: John was a heavy smoker thus we went into the smoking room.   premise: As we entered the large hall, John beckoned us both into the smoking-room. 