Is it perfectly ok to disregard these formulas if we were able to filter through the arguments and correctly infer if they were valid or not on the first try?

Negate indicators are somehow much easier than groups 1 and 2??

@NyahStewart that's what I've been doing instead of trying to follow indicator rules and starting with contrapositives have worked almost every time

@WizTaleefa agreed, sometimes my memory needs more chronological testing lol