새콤파스타가 새콤할 경우:
새콤파스타가 존재하지 않으므로 새콤할 수 없다.
이는 가정에 모순.
새콤파스타가 새콤하지 않을 경우:
가정에 의해 참.
따라서 새콤파스타는 새콤하지 않다.
증명 끝-