@schlangemann,
I agree. Steps 1, 2(A) and 3(A) are correct. If the 4 and 4 do not balance, you indicate them 'H' and 'L' according to the scale, and you also indicate the other 4 '=' (equal). You grab 3 'H' balls and 2 'L' balls and throw them on one side. You then grab the other 4 which you know are all equal with the remainder 'H' ball and throw them on the other side, leaving the 2 remainder 'L' balls outside. Hence on the scale you now have H1H2H3L1L2 weighing against 4 '=' and H4. And you also have L3 and L4 outside.
A: If H1H2H3L1L2 weighing against 4 '=' and H4 are equal
Step 1: L3 or L4 you left outside is the 1 you are looking for. You grab L3 and weigh it with a '='.
Step 2: If those 2 are equal then L4 is the ball you are looking for. If they are not equal, then L3 is the 1 you need.
B: If H1H2H3L1L2 is heavier than 4 '=' and H4.
Step 1: Obviously H4 is not the one. So you grab the H1H2H3 balls and weigh H1 and H2 against each other.
Step 2: If they are equal then your ball is H3. If H1 and H2 are not equal then the heavier 1 is your ball.
C: If H1H2H3L1L2 is lighter than 4 '=' and H4.
Step 1: The ball is L1, L2 or H4 (hopefully this is obvious to everyone). You grab L1 and L2 and you weigh them against each other.
Step 2: If they are equal then your ball is H4. If L1 and L2 are not equal then the lighter 1 is your ball.
I tried to make the solution as clear as possible so if there is anything "wrong", then it is either your comprehension skills or my lack of skill to explain better. The solution has been tested so many times. This is it.
Thank you! Thank you very much