Problem Display
PID: 50672 (8/2p1Q3/2P3BB/1PnPN3/r2k4/1RN1RpK1/8/8 w - - 0 1)

Ringeltaube, Norbert

Die Schwalbe, 1965

8/2p1Q3/2P3BB/1PnPN3/r2k4/1RN1RpK1/8/8

#2

11 + 5


SOLUTION


  • SOUND
  • Sets
    • 1...Ra1
      • 2.Rb4#
    • 1...Ra2
      • 2.Rb4#
    • 1...Ra3
      • 2.Rb4#
    • 1...Rb4
      • 2.Rxb4#
    • 1...Rc4
      • 2.Sxf3#
    • 1...Ra5
      • 2.Rb4#
    • 1...Ra6
      • 2.Rb4#
    • 1...Ra7
      • 2.Rb4#
    • 1...Ra8
      • 2.Rb4#
    • 1...Sxb3
      • 2.Rd3#
    • 1...Sd3
      • 2.Rxd3#
      • 2.Re4#
    • 1...Se4+
      • 2.Rxe4#
    • 1...Sa6
      • 2.Rd3#
      • 2.Re4#
    • 1...Se6
      • 2.Re4#
    • 1...Sb7
      • 2.Rd3#
      • 2.Re4#
    • 1...Sd7
      • 2.Rd3#
      • 2.Re4#
  • Tries
    • 1.Kf2?
      • 1...Sd3+
        • 2.Rxd3#
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...Ra2+!
    • 1.Kxf3?
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Se4
        • 2.Rd3#
        • 2.Rxe4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...Rc4!
    • 1.Kh3?
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Se4
        • 2.Rd3#
        • 2.Rxe4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Kg4?
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Se4
        • 2.Rd3#
        • 2.Rxe4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Kh4?
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Se4
        • 2.Rd3#
        • 2.Rxe4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bb1?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bc2?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bd3?
      • threat
        • 2.Sxf3#
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...f2
        • 2.Sf3#
      • 1...Sxb3!
    • 1.Be4?
      • 1...Sxe4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...f2
        • 2.Se2#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
      • 1...Sa6
        • 2.Rd3#
      • 1...Sb7
        • 2.Rd3#
      • 1...Sd7
        • 2.Rd3#
      • 1...Se6!
    • 1.Bf5?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bh5?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bh7?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Be8?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bf4?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Rd3#
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bg5?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...f2!
    • 1.Bf8?
      • threat
        • 2.Qxc5#
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...Kxe3!
    • 1.Re1?
      • threat
        • 2.Be3#
      • 1...Se4+
        • 2.Rxe4#
      • 1...Se6
        • 2.Re4#
      • 1...Sxb3!
    • 1.Qd6?
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...f2
        • 2.Se2#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Rd3#
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#
      • 1...cxd6!
  • Keys
    • 1.Bf7!
      • 1...Se4+
        • 2.Rxe4#
      • 1...Sxb3
        • 2.Rd3#
      • 1...f2
        • 2.Se2#
      • 1...Ra1
        • 2.Rb4#
      • 1...Ra2
        • 2.Rb4#
      • 1...Ra3
        • 2.Rb4#
      • 1...Rb4
        • 2.Rxb4#
      • 1...Rc4
        • 2.Sxf3#
      • 1...Ra5
        • 2.Rb4#
      • 1...Ra6
        • 2.Rb4#
      • 1...Ra7
        • 2.Rb4#
      • 1...Ra8
        • 2.Rb4#
      • 1...Sd3
        • 2.Rxd3#
        • 2.Re4#
      • 1...Sa6
        • 2.Rd3#
        • 2.Re4#
      • 1...Se6
        • 2.Re4#
      • 1...Sb7
        • 2.Rd3#
        • 2.Re4#
      • 1...Sd7
        • 2.Rd3#
        • 2.Re4#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(b);N_GUARD::R(A)
    • R(b);N_GUARD::R(A),XR(b)
    • R(b);SBLOCK::S(G),XP(a)
    • S(d);N_GUARD,XR(A)::R1(C)
    • S(d);CHECK,N_GUARD::R1(C),XS(d)
    • S(d);N_GUARD::R1(C)
  • Tries
    • Try
      • K(D);S_FLIGHT
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • R(b);CHECK
    • Try
      • K(D);P-FLIGHT,XP(a)
      • Vars
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • R(b);
    • Try
      • K(D);P-FLIGHT
      • Vars
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • K(D);P-FLIGHT
      • Vars
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • K(D);S_FLIGHT
      • Vars
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(I);
      • Threat
        • S(G),XP(a)
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • P(a);::S(G)
      • Refutation
        • S(d);XR(A)
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,OGATE,XB(I)::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • P(a);N_GUARD::S(B)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • S(d);
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(I);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(J);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
      • Refutation
        • P(a);
    • Try
      • B(J);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • P(a);
    • Try
      • B(J);
      • Threat
        • QAB1(K),XS(d)
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • R(b);SBLOCK::S(G),XP(a)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • K(c);S_FLIGHT,XR(C)
    • Try
      • R(C);
      • Threat
        • B(J)
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD::R1(C)
      • Refutation
        • S(d);XR(A)
    • Try
      • Q(K);
      • Vars
        • S(d);CHECK,N_GUARD::R1(C),XS(d)
        • S(d);N_GUARD,XR(A)::R1(C)
        • P(a);N_GUARD::S(B)
        • R(b);N_GUARD::R(A)
        • R(b);N_GUARD::R(A),XR(b)
        • R(b);SBLOCK::S(G),XP(a)
      • Refutation
        • P(e);XQ(K)
  • Actual
    • B(I);
    • Vars
      • S(d);CHECK,N_GUARD::R1(C),XS(d)
      • S(d);N_GUARD,XR(A)::R1(C)
      • P(a);N_GUARD::S(B)
      • R(b);N_GUARD::R(A)
      • R(b);N_GUARD::R(A),XR(b)
      • R(b);SBLOCK::S(G),XP(a)
      • S(d);N_GUARD::R1(C)


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).