1. A->B

2. B->C
3. A // C
4. B                1,3 -> 제거         
5. C                2,4 -> 제거

라는 연쇄 추론입니다.


1번에서 조건 기호 제거에 따라 B를 추론하는 것 까지는 알겠습니다.
3번에서는 어떤 것을 이용해 B가 추론이 되었는지 궁금합니다

마찬가지로
2번에서 조건 기호 제거( // 이거도 조건으로 보나요?)에 따라 C를 추론하는 것까지는 알겠습니다.
4번에서 어떤 것을 이용해 C가 추론되었는지 궁금합니다.