Seeing Cenoman's map, I noticed a branchless way to cover the 9s:
9r9(c12349), 9c1(r1678), 9r1c9, 9r6c4
(initially I used 9r1, 9c4 for one elimination and 9c9, 9r6 for the other)
As for the other eliminations found by yzfwsf (5r9c3, 6r7c1), here is my proof:
7 truths: r1c19, r9c9, 5689b7
10 links: 5r9(c1239), (5)r7c1, 6c1(r1789), (6)r9c3, 8r1(c19), 8r9(c1239), 8c1(r78), 9r1(c19), 9r9(c1239), 9c1(r78)
contra.: (L)8r1c19, (L)8r9c1239, (L)8r78c1
contra.: (L)9r1c19, (L)9r9c1239, (L)9r78c1
Since the contadictions don't share any links, the rest of the pattern is of rank 1 (L – T – C).
Any two links not included in the contradictions then form a truth.
The links 5r7c1 and 6r9c3 have two common eliminations (5r9c3, 6r7c1)
–5r9c3, –6r7c1
About my notation:
Because of the contradictions I find it necessary to distinguish between the parts of links which cover the truths and those which don't.
In this spirit, I use the word 'link' for the part that covers the truths (such as 5r9c3), rather than for the truth that includes it (r9c3).
I imagine this modified notation being used without brackets.
The Ls in contradictions stand for 'link'. Sometimes truths are needed to express contadictions, I find it covenient to notate.
Marek
Edit1: Corrected a typo. Initially I wrote 5r9c7 instead of 5r9c3.
Edit2: Since we have now discovered three different patterns, none of which solves the puzzle by itself, I think there might be a tiny chance the puzzle was designed to showcase a completely different pattern that all of us missed. Just sayin'.