Об одном способе доказательства непротиворечивости натуральных силлогистических исчислений с непрямыми пропозициональными правилами выводастатья