Steem > EOS > ADA > RISE
A에서 RISE 1 등이라는 명제가 참이면, C 에서 EOS 2등이라는 명제가 자동으로 참이 됩니다. 이는 B의 모든 명제와 모순됩니다. 따라서 A 명제에서 맞는 것은 ADA 3등이라는 것. ADA 가 3등이면 C 에서 RISE가 3등일 수 없으니, EOS 2등은 어쨌거나 맞는 말이되고, 자동으로 B에서 Steem 1등이 참인 명제가 됩니다.