>算式1：
> 男人=吃饭+睡觉+泡妞
> 猪=吃饭＋睡觉
> 联立解得：
> 男人＝猪＋泡妞
> 移项变换为：
> 男-泡妞＝猪
> 结论：
> 不泡妞的男人都是猪。
> 算式2：
> 女人=吃饭+睡觉+被泡
> 猪 =吃饭＋睡觉
> 联立解得：
> 女人＝猪＋被泡
> 移项变换为：
> 女-被泡＝猪
> 结论：
> 不让男人泡的女人都是猪。
> 算式3：
> a:男人=吃饭+睡觉+泡妞
> b:女人=吃饭+睡觉+被泡
> 猪=吃饭＋睡觉
> 泡妞=-被泡(负的)
> 联立解得：
> a:男人＝猪＋泡妞
> b:女人＝猪＋被泡=猪-泡妞
> 二式相加得：
> 男人+女人＝猪＋泡妞+猪-泡妞
> 男人+女人=猪×2
> 结论：男人和女人在一起就是2头猪
