mnli premise: The church of Santa Trinita has a late-16th-century Baroque facade with a Gothic interior. hypothesis: The priest rooms have a different interior since they were constructed at a later time.