Premise: The balanced main square actually a huge rectangle is faced by arcaded buildings on two sides and the church of St. Anthony at the south end.

Hypothesis: The main square is not faced by any buildings.
Relation: contradiction