>>22
1. None of us is as dumb as all of us.
2. All of us are as dumb as none of us. (1: commutativity of “as ___ as”)
3. Total dumbness of group = ∑
x ∈ group dumbness(x) .
4. A measurable dumbness is impossible without a positive number of people to be dumb. (3: |group| = 0)
5. None of us are 0 dumb. (4: "none of us" → group = { x | x ∈ us && x ∉ us } → |group| = 0)
6. All of us are 0 dumb. (2, 5)
7. Dumbness is a lack of intelligence. (A dictionary (usually the
second definition, the first may be “unable to speak”))
8. All of us are intelligent. (6, 7: dumbness = 0; intelligence = 1 - dumbness; intelligence = fully intelligent)
9. None of us are intelligent. (6: I'm not even sure where I was going with this)