The house-architect inference succeeds only because houses are a proper subset of a class of objects...