Kaya sa palagay na " Lahat ng A ay B " , may diin @-@ kulay ang lahat ng bahagi na kung saan walang nilalamang A na kapwa @-@ sakop ng B , pati na rin sa bahagi na sakop ng K. Ganoon din ang kailangang gawin para sa ikalawang palagay.
