已知：(1)A真包含于B;(2)有C不是B;(3)若C不真包含A，则C真包含于A。问：A与C具有什么关系?请写出推导过程，并用欧拉图将A、B、C三概念在外延上可能有的关系表示出来。

正确答案: (1)A真包含于B，则所有A是B。
(2)由所有A是B，有C不是B，得有C不是A。
(3)由有C不是A，得并非C真包含于A。
(4)由此C真包含A。
(5)A、B、C三概念在外延上的欧拉图如下：