MESON Chess Problem Database

Problem Display
PID: 22132 (1k1q4/bPnpN3/1R6/8/8/1B4B1/Q1R3K1/8 w - - 0 1)

Andrade, Barry Jack da Costa

The Review, 1924

1k1q4/bPnpN3/1R6/8/8/1B4B1/Q1R3K1/8

#2

8 + 5

887 Mate in Two Moves 1931
136 Problem Observer 2007

SOLUTION

  • SOUND
  • Sets
    • 1...Qxe7
      • 2.Bxc7#
    • 1...Qc8
      • 2.bxc8Q#
      • 2.bxc8R#
    • 1...Qe8
      • 2.Bxc7#
    • 1...Qf8
      • 2.Bxc7#
    • 1...Qh8
      • 2.Bxc7#
    • 1...Bxb6
      • 2.Qa8#
    • 1...d5
      • 2.Sc6#
    • 1...d6
      • 2.Sc6#
  • Tries
    • 1.Kf1?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qg8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qf8+!
    • 1.Kh1?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qg8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qh8+!
    • 1.Kh2?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qg8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qh8+!
    • 1.Kf3?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qg8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qf8+!
    • 1.Kh3?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qg8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qh8+!
    • 1.Sc8?
      • threat
        • 2.Qxa7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qxc8!
    • 1.Ba4?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qg8
        • 2.Qxg8#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Bxb6!
    • 1.Bd5?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Be6?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...dxe6
        • 2.Sc6#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Bf7?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Bh2?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8+!
    • 1.Bf4?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8+!
    • 1.Be5?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8+!
    • 1.Bd6?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...Qg8+!
    • 1.Rc1?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Rc3?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Rc4?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Rc5?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Rb4?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...Bg1
        • 2.Qa8#
      • 1...Bf2
        • 2.Qa8#
      • 1...Be3
        • 2.Qa8#
      • 1...Bd4
        • 2.Qa8#
      • 1...Bc5
        • 2.Qa8#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Rb5?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...Bg1
        • 2.Qa8#
      • 1...Bf2
        • 2.Qa8#
      • 1...Be3
        • 2.Qa8#
      • 1...Bd4
        • 2.Qa8#
      • 1...Bc5
        • 2.Qa8#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Qa1?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
        • 2.Qxh8#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Qa3?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Qa4?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Qa5?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
    • 1.Qa6?
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...Qh8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#
      • 1...Qg8!
  • Keys
    • 1.Bg8!
      • 1...Qxe7
        • 2.Bxc7#
      • 1...Qxg8
        • 2.Qxg8#
      • 1...Bxb6
        • 2.Qa8#
      • 1...Qc8
        • 2.bxc8Q#
        • 2.bxc8R#
      • 1...Qe8
        • 2.Bxc7#
      • 1...Qf8
        • 2.Bxc7#
      • 1...d5
        • 2.Sc6#
      • 1...d6
        • 2.Sc6#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 1
  • Sets
    • Q(e);N_GUARD,XS(H)::B(E),XS(b)
    • Q(e);OGATE::PXQ(e)=Q
    • Q(e);N_GUARD::B(E),XS(b)
    • B(a);OGATE,XR(F)::QAR1(A)
    • P(c);N_GUARD::S(H)
    • P(c);N_GUARD,N_SPINS(b)::S(H)
  • Tries
    • Try
      • K(C);S_FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • K(C);S_FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • K(C);P-FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • K(C);S_FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • K(C);S_FLIGHT
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • S(H);
      • Threat
        • QAB1(A),XB(a)
      • Vars
        • B(a);OGATE,XR(F)::QAR1(A)
      • Refutation
        • Q(e);XS(H)
    • Try
      • B(D);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • Q(e);OGATEB,P_PINB(E)::QAR(A),XQ(e)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • B(a);XR(F)
    • Try
      • B(D);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • B(D);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • P(c);N_GUARD,XB(D)::S(H)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • B(D);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • B(E);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • B(E);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • B(E);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);CHECK
    • Try
      • B(E);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
      • Refutation
        • Q(e);CHECK
    • Try
      • R(B);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • R(B);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • R(B);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • R(B);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • R(F);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • R(F);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • Q(A);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • Q(A);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • Q(A);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • Q(A);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
    • Try
      • Q(A);
      • Vars
        • Q(e);N_GUARD,XS(H)::B(E),XS(b)
        • B(a);OGATE,XR(F)::QAR1(A)
        • Q(e);OGATE::PXQ(e)=Q
        • Q(e);N_GUARD::B(E),XS(b)
        • P(c);N_GUARD::S(H)
        • P(c);N_GUARD,N_SPINS(b)::S(H)
      • Refutation
        • Q(e);P_PINB(E)
  • Actual
    • B(D);
    • Vars
      • Q(e);N_GUARD,XS(H)::B(E),XS(b)
      • Q(e);OGATE,P_PINB(E),XB(D)::QAR(A),XQ(e)
      • B(a);OGATE,XR(F)::QAR1(A)
      • Q(e);OGATE::PXQ(e)=Q
      • Q(e);N_GUARD::B(E),XS(b)
      • P(c);N_GUARD::S(H)
      • P(c);N_GUARD,N_SPINS(b)::S(H)
HTML5 logo

Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).