Premise: Cargo is being loaded onto a ship.
Hypothesis: A ship is leaving the port without any cargo.
Relationship: contradiction