"你＝吃饭＋睡觉＋想我" "猪＝吃饭＋睡觉""等量代换：你＝猪＋想我" "移项得：你－想我＝猪" "结论：你不想我，就是猪" ​​​