Шын мәнінде, егер алғышарттардың ақиқаттығы қорытындының ақиқаттығына логикалық түрде кепілдік берсе, аргумент жарамды болады. Келесі аргумент жарамды, өйткені үй-жайлардың ақиқат болуы мүмкін емес, бірақ қорытынды жалған болуы мүмкін: Элизабетте Honda немесе Сатурн бар. Элизабеттің Honda көлігі жоқ.