Text this: Application of first-order logic to identify organizers and perpetrators of illegal actions in teams of a limited circle of people