Сообщение от ponom

Нет. Это азы булевой алгебры, студенты проходят это на первом курсе.

Утверждение "Не все из того, что ездит - автомобиль" всего лишь сообщает нам следующую информацию:

Есть два множества А (множество автомобилей) и Б (множество способных ездить).
Множества А и Б пересекаются, но множество Б не является подмножеством множества А.

Можно ли из этой информации сделать Ваш вывод, что тогда А является подмножеством Б? Нет. С чего бы?