전제: 통로에 있는 문은 여닫을 수 있으며 문고리가 있는 방향으로 열린다.
함의: 통로에 있는 문은 열린다.
모순: 통로에 있는 문은 열리지 않는다.