「男の人は人間である」
は同値じゃないよね？
人間⇒男　には女という反例があるんだから