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