算式1：
男人=吃饭+睡觉+泡妞
猪　=吃饭＋睡觉
联立解得：
男人＝猪＋泡妞
移项变换为：
男-泡妞＝猪
结论：
不泡妞的男人都是猪。

算式2：
女人=吃饭+睡觉+被泡
猪 =吃饭＋睡觉
联立解得：
女人＝猪＋被泡
移项变换为：
女-被泡＝猪
结论：
不让男人泡的女人都是猪。

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