Oh, no, monsieur, he has but taken the train to Tadminster. 
There are trains that run to Tadminster.
mnli hypothesis: There are trains that run to Tadminster. premise: Oh, no, monsieur, he has but taken the train to Tadminster. 