Все кудяплы являются челотяпиками. Значит, некоторые челотяпики являются кудяплами — верно ли утверждение?