A moment later he was glad that he had, for it was not Conrad who entered, but a girl.
A girl entered the room.
mnli hypothesis: A girl entered the room. premise: A moment later he was glad that he had, for it was not Conrad who entered, but a girl.