All of the cargo ships of the Blue Star Line are over 100 meters long, and all of its passenger ships are under 100 meters long.
Statements
conditional (all - Left side, sufficient)
BSL cargo ship → over 100m BSL pass ship → under 100m GSL cargo ship → under 100m and post-1980 GSL pass ship → under 100m and post-1980
conditional (only - Right side, sufficient)
Use of PT's dockside → (BSL or GSL) and under 100m
quantifier (most)
Most BSL are pre-1980.
fact
S.S. Coral is cargo ship docked at PT.
Evaluate
We certainly wouldn't ever try to diagram this many conditionals on our page. There are just too many facts to take stock of. With conditionals, ultimately we care about whether we can chain them together with other conditionals or whether we can apply them to any provided facts.
The final sentence provides us with a fact that begs to be integrated with the previous information.
Given that the S.S. Coral is docked at Port Tropica, we know it belongs to BSL or GSL, and we know it must be less than 100m long.
Given that the S.S. Coral is a cargo ship, if it's BSL cargo then it's over 100m. If it's GSL cargo then it's under 100m.
So we know that the S.S. Coral would have to be a GSL cargo ship. Since all GSL cargo ships were built after 1980, we could also say that the S.S. Coral was built after 1980.
Goal
Look for anything provable, but it will probably reward us for deriving all the knowable facts about the S.S. Coral: - a GSL cargo ship, built after 1980