p : 현실에 존재하지 않음 

q : 마음속에 있다 

1. ∀x(p(x)->q(x)) : 현실에 존재하지 않는 모든 것은 마음속에 있다 

1이 거짓, 1의 부정형이 참, 1의 부정형은 2 

2. ∃x(p(x) and not q(x)) : 현실에도 없고 마음속에도 없는 것이 있다 

2가 참. 

따라서 현실에도 없고 마음속에도 없는것이 제3의 영역(이데아)에 있다