Behind the red facade is a structure of masonry hauled from the Portuguese citadel.
The red facade has nothing behind it. 
mnli hypothesis: The red facade has nothing behind it.  premise: Behind the red facade is a structure of masonry hauled from the Portuguese citadel.