There was no one in the hall, and we went straight up to the attic. 
The hall was empty of other people.
mnli hypothesis: The hall was empty of other people. premise: There was no one in the hall, and we went straight up to the attic. 