Thank you both for the clarifying explanations. I’m beginning to understand the logic behind the rule. I think the reason I confused the not J–> S rule is because the first rule states if H–> not G. They seem so similar so I applied the first rule logic to the last, which obviously is wrong.
Can someone explain the difference between these two rules in comparison?
I appreciate it!