Premise: Most commercial ferries arrive at the new port of Athinios farther along the coast.

Hypothesis: All ferries arrive at the Smithsonian port. 
Relation: contradiction