사람은 죽는다.
과학자는 사람이다.
과학자는 죽는다. AAA-1
무생물은 죽지 않는다.
과학자는 무생물이 아니다. AEE-2
생물학자는 과학자이다.
생물학자는 무생물이 아니다. EAE-1
어떤 교수는 생물학자이다.
어떤 교수는 무생물이 아니다. EIO-1
모든 교수는 연구를 하는 사람이다.
연구를 하는 어떤 사람은 무생물이 아니다. IAI-3
무생물이 아닌 모든 것은 생물이다.
어떤 생물은 연구자이다. IAI-4 >연구를 하는 어떤 사람은 무생물이 아니다.
연구를 하는 모든 사람은 보고서를 쓴다.
어떤 보고서는 무생물이 쓰지 않는다. OAO-3
