There was no one in the hall.
The hall was unoccupied as it was not booked for use at that hour. 
mnli hypothesis: The hall was unoccupied as it was not booked for use at that hour.  premise: There was no one in the hall.