She went down the passage to his sittingroom and knocked at the door.
If she didn't go down the passage, she wouldn't have been able to knock to see if he was there.
mnli hypothesis: If she didn't go down the passage, she wouldn't have been able to knock to see if he was there. premise: She went down the passage to his sittingroom and knocked at the door.