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ợ