Puzeland

Senatorium

Senat Puzelandu składa się z przedstawicieli pięciu partii. Jeżeli senat obraduje w komplecie, wówczas:
a) liczba senatorów z każdej partii jest inna;
b) łączna liczba senatorów z żadnych dwu partii – nawet z dwu najliczniej reprezentowanych – nie stanowi nie tylko większości, ale nawet połowy składu senatu.

Jeśli senat nie obraduje w komplecie, wówczas nigdy – niezależnie od tego, ilu senatorów i z jakich partii jest nieobecnych – stwierdzenia (a) i (b) nie są równocześnie prawdziwe.