Let C be the set of n clowns. Label the colours 1,2,3,…,12. For each i=1,2,…,12, let Ei denote the set of clowns who use colour i. For each subset S of {1,2,…,12}, let ES be the set of clowns who use exactly those colours in S. Since S=S′ implies ES∩ES′=∅, we have
S∑∣ES∣=∣C∣=n,
where S runs over all subsets of {1,2,…,12}. Now for each i,
ES⊆Ei if and only if i∈S,
and hence
∣Ei∣=i∈S∑∣ES∣.
By assumption, we know that ∣Ei∣≤20 and that if ES=∅, then ∣S∣≥5. From this we obtain
20×12≥i=1∑12∣Ei∣=i=1∑12(i∈S∑∣ES∣)≥5S∑∣ES∣=5n.
Therefore n≤48.
Now, define a sequence {ci}i=152 of colours in the following way:
143221433214432158766587765887659121110109121111109121211109
The first row lists c1,…,c12 in order, the second row lists c13,…,c24 in order, the third row lists c25,…,c36 in order, and finally the last row lists c37,…,c48 in order. For each j,1≤j≤48, assign colours cj,cj+1,cj+2,cj+3,cj+4 to the j-th clown. It is easy to check that this assignment satisfies all conditions given above. So, 48 is the largest for n.
Remark: The fact that n≤48 can be obtained in a much simpler observation that
5n≤12×20=240.