MESON Chess Problem Database
Problem Display
PID: 205586 (Br6/1P1PpR2/4P2B/6pK/1N1Pk2P/3R1p2/2Np4/3br2Q w - - 0 1)
Penrose, Lionel Sharples
The Observer, 1953
(First published on Sun Apr 12 1953)
#2
13 + 8
| 15239 | Valois Notebooks | 2020 |
SOLUTION
- SOUND
- Sets
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Rxh1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Bxc2
- 2.Qxf3#
- 1...Be2
- 2.Re3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...g4
- 2.Rf4#
- 1...Rf1
- Tries
- 1.Kg4?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 1...Rf1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...Rg1+!
- 1...Rxh1
- 1.Kg6?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Rg8+!
- 1...Rxh1
- 1.Bxg5?
- threat
- 2.Rf4#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8+!
- threat
- 1.Bf8?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Rxf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4!
- 1...Rxh1
- 1.Ra3?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Bxc2!
- 1...Rxh1
- 1.Rb3?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Bxc2!
- 1...Rxh1
- 1.Rc3?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Bxc2!
- 1...Rxh1
- 1.Rf6?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...exf6!
- 1...Rxh1
- 1.Rf8?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Rxf8!
- 1...Rxh1
- 1.Qg2?
- threat
- 2.Qg4#
- 1...Rg1
- 2.Re3#
- 1...g4
- 2.Rf4#
- 2.Qxg4#
- 1...fxg2+!
- threat
- 1.Qf1?
- 1...Rxf1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...f2+!
- 1...Rxf1
- 1.Qg1?
- threat
- 2.Qg4#
- 1...Rxg1
- 2.Re3#
- 1...g4
- 2.Rf4#
- 2.Qxg4#
- 1...f2+!
- threat
- 1.Qh3?
- threat
- 2.Qg4#
- 2.Qf5#
- 1...Rg1
- 2.Re3#
- 2.Qf5#
- 1...g4
- 2.Rf4#
- 2.Qxg4#
- 1...f2+!
- threat
- 1.hxg5?
- threat
- 2.Qh4#
- 1...Rg1
- 2.Re3#
- 1...Rxh1+!
- threat
- 1.d8S?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Rxd8!
- 1...Rxh1
- 1.d8B?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Rxd8!
- 1...Rxh1
- 1.d8R?
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Qxf3#
- 1...gxh4
- 2.Rf4#
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Qxf3#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Rxd8!
- 1...Rxh1
- 1.Kg4?
- Keys
- 1.Rfxf3!
- 1...Bxf3+
- 2.Qxf3#
- 1...Rxh1
- 2.Re3#
- 1...Rxb7
- 2.Bxb7#
- 1...Rxa8
- 2.bxa8Q#
- 2.bxa8B#
- 1...Bxc2
- 2.Rf1#
- 1...gxh4
- 2.Qxh4#
- 1...Rf1
- 2.Re3#
- 1...Rg1
- 2.Re3#
- 1...Re2
- 2.Rf2#
- 1...Re3
- 2.Rxe3#
- 1...Rc8
- 2.bxc8Q#
- 2.bxc8S#
- 2.bxc8B#
- 2.bxc8R#
- 1...Rd8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Re8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rf8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rg8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Rh8
- 2.b8Q#
- 2.b8S#
- 2.b8B#
- 2.b8R#
- 1...Be2
- 2.Re3#
- 1...g4
- 2.Rf4#
- 1...Bxf3+
- 1.Rfxf3!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 2
- ADDED MATES = 2
- REMOVED MATES = 0
- Sets
- R(b);N_GUARD::R1(C)
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Tries
- Try
- K(G);S_FLIGHT
- Vars
- R(b);N_GUARD,N_SPINP(d),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- P(f);N_GUARD,XP(F)::R1(L)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- Refutation
- R(b);CHECK
- Try
- K(G);S_FLIGHT
- Vars
- R(b);N_GUARD,N_SPINP(d),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- R(h);CHECK
- Try
- B(I);XP(f)
- Threat
- R1(L)
- Refutation
- R(h);CHECK
- Try
- B(I);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- P(f);OGATE,XP(F)::QAR(A),XP(f)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- Refutation
- P(f);
- Try
- R(C);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- B(a);XS(B)
- Try
- R(C);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- B(a);XS(B)
- Try
- R(C);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- B(a);XS(B)
- Try
- R(L);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- P(g);XR(L)
- Try
- R(L);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- R(h);XR(L)
- Try
- Q(A);
- Threat
- QAR2(A)
- Vars
- R(b);N_GUARD::R1(C)
- Refutation
- P(d);CHECK,N_SPINP(d),XQ(A)
- Try
- Q(A);N_PINP(d)
- Vars
- R(b);N_GUARD,XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- P(f);N_GUARD,XP(F)::R1(L)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- P(d);CHECK
- Try
- Q(A);N_PINP(d)
- Threat
- QAR2(A)
- Vars
- R(b);N_GUARD,XQ(A)::R1(C)
- Refutation
- P(d);CHECK
- Try
- Q(A);N_PINP(d)
- Threat
- DUALS(2)
- Refutation
- P(d);CHECK
- Try
- P(F);XP(f)
- Threat
- QAR(A)
- Vars
- R(b);N_GUARD::R1(C)
- Refutation
- R(b);CHECK,N_SPINP(d),XQ(A)
- Try
- P(K);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- R(h);XS(K)
- Try
- P(K);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- R(h);XB(K)
- Try
- P(K);
- Vars
- R(b);N_GUARD,N_SPINP(d),P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_GUARD,XS(B)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C)
- R(b);S_CUTB(a)::QAB1(A),XP(d)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_GUARD::R1(L)
- Refutation
- R(h);XR(K)
- Try
- Actual
- R(L);P_SPINR(L),XP(d)
- Vars
- B(a);CHECK,OGATE,P_SPINB(a),XR(L)::QAB1(A),XB(a)
- R(b);N_GUARD,P_PINP(F),XQ(A)::R1(C)
- R(h);OGATE,P_SPINR(h),XP(J)::B(M),XR(h)
- R(h);OGATE,XB(M)::PXR(h)=Q
- B(a);N_PINR(L),XS(B)::QAB(A)+R(L)
- P(f);OGATE,XP(F)::QAR(A),XP(f)
- R(b);N_GUARD::R1(C)
- R(b);N_PINR(L)::QAB(A)+R(L)
- R(b);N_GUARD::R1(C),XR(b)
- B(a);S_CUTR(b)::R1(C)
- P(f);N_PINR(L)::QAB(A)+R(L),DCHECK
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).