Tính toán 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ợ