Теорема: Женщина - не человек.

Доказательство: Предположим, женщина - человек. Тогда молодая женщина - это молодой человек. Но молодой человек это парень, следовательно наше предположение неверно. Что и требовалось доказать.