MESON Chess Problem Database

Problem Display
PID: 136778 (2K5/BrPr4/RPkPR3/p3Q3/1p2P3/1nnNN3/8/8 w - - 0 1)

Brankovic, Ljubomir

Predrag, Nikola

Die Schwalbe, 2010

2K5/BrPr4/RPkPR3/p3Q3/1p2P3/1nnNN3/8/8

#2

11 + 7

SOLUTION

  • SOUND
  • Sets
    • 1...Rxb6
      • 2.Rxb6#
    • 1...Rxa7
      • 2.bxa7#
    • 1...Rbxc7+
      • 2.bxc7#
    • 1...Rb8+
      • 2.cxb8S#
    • 1...Rxd6
      • 2.Rxd6#
    • 1...Rdxc7+
      • 2.dxc7#
    • 1...Re7
      • 2.dxe7#
    • 1...Rf7
      • 2.d7#
    • 1...Rg7
      • 2.d7#
    • 1...Rh7
      • 2.d7#
    • 1...Rd8+
      • 2.cxd8S#
    • 1...Sa1
      • 2.Qc5#
    • 1...Sc1
      • 2.Qc5#
    • 1...Sd2
      • 2.Qc5#
    • 1...Sd4
      • 2.Qc5#
    • 1...Sc5
      • 2.Qxc5#
    • 1...Sb1
      • 2.Qd5#
    • 1...Sd1
      • 2.Qd5#
    • 1...Sa2
      • 2.Qd5#
    • 1...Se2
      • 2.Qd5#
    • 1...Sa4
      • 2.Qd5#
    • 1...Sxe4
      • 2.Qd5#
    • 1...Sb5
      • 2.Qd5#
    • 1...Sd5
      • 2.Qxd5#
    • 1...a4
      • 2.Sxb4#
  • Tries
    • 1.Sd1?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sxd1
        • 2.Qd5#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Sxe4!
    • 1.Sf1?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Sxe4!
    • 1.Sc2?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sc5
        • 2.Sd4#
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Sd4#
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Sd4#
        • 2.Qc5#
      • 1...Sd2
        • 2.Sd4#
        • 2.Qc5#
      • 1...Sd4
        • 2.Sxd4#
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Scxb4#
        • 2.Sdxb4#
      • 1...Sxe4!
    • 1.Sg2?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Sxe4!
    • 1.Sc4?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Sxa5#
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Sxa5#
        • 2.Qc5#
      • 1...Sd2
        • 2.Sxa5#
        • 2.Qc5#
      • 1...Sd4
        • 2.Sxa5#
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Sxe4!
    • 1.Sg4?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Sxe4!
    • 1.Sf5?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Se7#
        • 2.Rxd6#
      • 1...Sc5
        • 2.Sd4#
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Sd4#
        • 2.Qc5#
      • 1...Re7
        • 2.Sxe7#
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Sd4#
        • 2.Qc5#
      • 1...Sd2
        • 2.Sd4#
        • 2.Qc5#
      • 1...Sd4
        • 2.Sxd4#
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Sxe4!
    • 1.Bb8?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rxb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxd6
        • 2.Rxd6#
      • 1...Sxe4
        • 2.Qd5#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Ra7
        • 2.bxa7#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Rxb6!
    • 1.Rf6?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Rxd6#
        • 2.Qe8#
      • 1...Sxe4
        • 2.Qd5#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Rf7!
    • 1.Qf5?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Sxe4
        • 2.Qd5#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Rxd6!
    • 1.Qg5?
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Sxe4
        • 2.Qd5#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#
      • 1...Rxd6!
  • Keys
    • 1.Qh5!
      • 1...Rbxc7+
        • 2.bxc7#
      • 1...Rb8+
        • 2.cxb8S#
      • 1...Rdxc7+
        • 2.dxc7#
      • 1...Rd8+
        • 2.cxd8S#
      • 1...Rxb6
        • 2.Rxb6#
      • 1...Rxa7
        • 2.bxa7#
      • 1...Rxd6
        • 2.Qe8#
      • 1...Sxe4
        • 2.Qd5#
      • 1...Sc5
        • 2.Qxc5#
      • 1...Sd5
        • 2.Qxd5#
      • 1...Sa1
        • 2.Qc5#
      • 1...Re7
        • 2.dxe7#
      • 1...Rf7
        • 2.d7#
      • 1...Rg7
        • 2.d7#
      • 1...Rh7
        • 2.d7#
      • 1...Sc1
        • 2.Qc5#
      • 1...Sd2
        • 2.Qc5#
      • 1...Sd4
        • 2.Qc5#
      • 1...Sb1
        • 2.Qd5#
      • 1...Sd1
        • 2.Qd5#
      • 1...Sa2
        • 2.Qd5#
      • 1...Se2
        • 2.Qd5#
      • 1...Sa4
        • 2.Qd5#
      • 1...Sb5
        • 2.Qd5#
      • 1...a4
        • 2.Sxb4#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
    • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
    • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
    • R(f);CHECK,OGATE::PXR(f)=S
    • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
    • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
    • R(g);OGATE::R(H)+P(G),XR(g)
    • R(g);OGATE::R(H)+P(G)
    • R(g);CHECK,OGATE::PXR(g)=S
    • S(a);N_GUARD::QAR1(D)
    • S(a);N_GUARD::QAR1(D),XS(a)
    • S(b);N_GUARD::QAB1(D)
    • S(b);N_GUARD,XP(C)::QAB1(D)
    • S(b);N_GUARD::QAB1(D),XS(b)
    • P(d);N_GUARD::S(A),XP(c)
  • Tries
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(b);N_GUARD,XS(B)::QAB1(D)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • S(b);XP(C)
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • S(b);XP(C)
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
      • Refutation
        • S(b);XP(C)
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • S(b);XP(C)
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • S(b);XP(C)
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • S(b);XP(C)
    • Try
      • S(B);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • S(b);XP(C)
    • Try
      • B(I);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE,XB(I)::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(g);OGATE,P_SPINR(g),XP(G)::R1(H),XR(g)
        • S(b);N_GUARD,XP(C)::QAB1(D)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(f);OGATE::R(E)+P(F),XR(f)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • R(f);P_SPINR(f),XP(F)
    • Try
      • R(H);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • S(b);N_GUARD,XP(C)::QAB1(D)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • R(g);
    • Try
      • Q(D);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • S(b);N_GUARD,XP(C)::QAB1(D)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • R(g);P_SPINR(g),XP(G)
    • Try
      • Q(D);
      • Vars
        • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
        • R(f);CHECK,OGATE::PXR(f)=S
        • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
        • R(g);CHECK,OGATE::PXR(g)=S
        • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
        • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
        • S(b);N_GUARD,XP(C)::QAB1(D)
        • S(a);N_GUARD::QAR1(D),XS(a)
        • S(b);N_GUARD::QAB1(D),XS(b)
        • S(a);N_GUARD::QAR1(D)
        • R(g);OGATE::R(H)+P(G),XR(g)
        • R(g);OGATE::R(H)+P(G)
        • S(b);N_GUARD::QAB1(D)
        • P(d);N_GUARD::S(A),XP(c)
      • Refutation
        • R(g);P_SPINR(g),XP(G)
  • Actual
    • Q(D);
    • Vars
      • R(f);CHECK,OGATE,XP(J)::R(E)+P(F),XR(f)
      • R(f);CHECK,OGATE::PXR(f)=S
      • R(g);CHECK,OGATE,XP(J)::R(H)+P(G),XR(g)
      • R(g);CHECK,OGATE::PXR(g)=S
      • R(f);OGATE,P_SPINR(f),XP(F)::R1(E),XR(f)
      • R(f);OGATE,XB(I)::R(E)+P(F),XR(f)
      • R(g);OGATEB,P_SPINR(g),XP(G)::QAB(D)
      • S(b);N_GUARD,XP(C)::QAB1(D)
      • S(a);N_GUARD::QAR1(D),XS(a)
      • S(b);N_GUARD::QAB1(D),XS(b)
      • S(a);N_GUARD::QAR1(D)
      • R(g);OGATE::R(H)+P(G),XR(g)
      • R(g);OGATE::R(H)+P(G)
      • S(b);N_GUARD::QAB1(D)
      • P(d);N_GUARD::S(A),XP(c)
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).