위, 아래의 기본 로직이
"대치[(mv, rj), (jv, rm), (rv, jm)]"라서

T를 기준으로 만나는 곳 반대편에
m-->j, v-->r, r-->v, j-->m (m<-->j, r<-->v)로 변환하는 규칙을 적용하기에는 오류가 있다는 뜻인가요?