Cho các hàm sau:Đẹp trai = 1,Xấu trai = (-1),Chung tình = 2,Đa tình = (-2),Nghèo = 3,Giàu = (-3),Đã có vợ = 0.
Ta chứng minh được:Đẹp trai + Chung tình = Nghèo,Chung tình + Giàu = Xấu trai,Nghèo + Xấu trai = Chung tình,Đẹp trai + Giàu = Đa tình.
Và chắc chắn là:Đẹp trai + Giàu + Chung tình = Đã có vợ