ПКС «ни одна ласточка не есть стриж, но некоторые из перелетных птиц – ласточки, значит, некоторые из перелетных птиц не являются стрижами» построен по: