일단 누가 먼저 공격할지 정하고
A가 B한테 공격한다 치면

우선 A가 B한테 아무 명제의 형태로 물어 봄.
예를 들어 "세계 최고 높이의 산은 백두산인가"라고 하자.
처음에는 B는 '예'라고 해도 되고 '아니오'라고 해도 됨.

그 다음 A가 또 다른 명제를 물어 보는데,
이때부터 B는 A가 처음 물어본 명제에 대답한 것으로부터 귀결되어야 함.

예를 들어, B가 처음에 예라고 했다 치면
"세계 최고 높이의 산이 백두산이 아니라면 한라산이 폭발하는가?"라는 질문에도 '예'라고 해야 됨.
반면에  "세계 최고 높이의 산은 존재하지 않는가?"라는 질문에는 '아니오'라고 대답해야 함.
또 다른 경우가 있는데  "한반도 최고 높이의 산은 백두산인가?"라는 질문에는 '모릅니다'라고 대답해야 함.

매마다 검증해서 B의 대답이 그 전 대답으로부터 귀결되지 않으면 A가 득점하고 계속 A가 공격하는데,
B의 그 전 대답으로부터 귀결되면 A,B 둘 다 점수를 획득하지 않은 채 바로 공수교대함.

이런 식으로 해서
특정 점수를 더 먼저 딴 사람이 이기든가
라운드수를 제한해서 종료 후 더 점수가 많은 사람이 이기든가
해서 승리자가 결정됨 ㅁㅌㅊ?