Bocardo

A form of syllogism of which the first and third propositions are particular negatives, and the middle term a universal affirmative.

A prison; -- originally the name of the old north gate in Oxford, which was used as a prison.