Premise: Shuttle buses run regularly from St. Peter's Square to the museum entrance and back, otherwise a 20-minute walk.

Hypothesis: Shuttle buses do not arrive at St. Peter's Square, so people have to take a 20 minute walk.
Relation: contradiction