Hi Araver! Nice to see you again.
Can you clarify the sequence of events? I assume they agree on the strategy first, then they inspect each other, then a carnivore strikes and kills one herbivore. Then, when the day comes, with only 3 herbivores left they have only one chance of identifying a carnivore or they lose. Is this right?