“有S是P”与“有S不是P”之间是下反对关系，它们不能同假，必有一真。
由题意可知，“有P不是S”是假的。
由“有P不是S”为假，根据对当关系中的矛盾关系可知，“所有P都是S”为真。
由“所有P都是S”为真，根据换位推理可得，“有S是P”为真。（注意，它们不是互推的。）
由“有P不是S”假和“有S是P”真，根据题意得，“有S不是P”为假。
由“有S是P”为真、“有S不是P”和“有P不是S”皆为假，按照主谓项的外延与性质命题的真假之间的关系可得，S与P之间的外延关系是同一关系。