x＋y＝5 → x＝3かつy＝2が偽になるという理由が分かりません。