There was no one in the hall, and we went straight up to the attic. 
The hall was filled with many people.
mnli hypothesis: The hall was filled with many people. premise: There was no one in the hall, and we went straight up to the attic. 