Some facts, with additions:
1) Incorrectly lynching from within subset 1 proves someone else is definitely town.
2) Incorrectly lynching from within subset 2 proves zilch, but slightly increases the chance that subset 1 is scum.
3) Correctly lynching from within subset 1 proves someone else is definitely scum.
4) Correctly lynching from within subset 2 proves that subset 1 is town.
From a strictly informational standpoint, lynching from subset 1 is always strictly better.
From a strictly informational standpoint, correctly lynching from subset 2 is always strictly better (provides alignment of 2 living players). Lynching from subset 1, correctly or incorrectly, is the second best (provides alignment of 1 living player).
While correctly lynching from subset 2 is best, lynching from subset 1 allows the greatest margin for error with a positive net result for town.
Now correct?