There was no one in the hall, and we went straight up to the attic. 
No one has ever been up in the attic.
mnli hypothesis: No one has ever been up in the attic. premise: There was no one in the hall, and we went straight up to the attic. 