그냥 가지치기 하듯 쭉 나열하고 조건 안 맞는 거 하나만 쳐내면 1번부터 5번까지의 선지 중 하나 나오는데 거기에서 더 쳐낼 게 없었음