As we entered the large hall, John beckoned us both into the smoking-room. 
John asked us to come into the non smoking room.  
mnli hypothesis: John asked us to come into the non smoking room.   premise: As we entered the large hall, John beckoned us both into the smoking-room. 