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ợ và chưa 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
đẹp trai chung tình giàu=đã có vợ
nếu xấu trai đa tình nghèo thì chắc chắn =chưa vợ