Premise: Most commercial ferries arrive at the new port of Athinios farther along the coast.
Hypothesis: All ferries arrive at the Smithsonian port. 
Label: contradiction