MESON Chess Problem Database
Problem Display
PID: 249135 (8/2p5/Q1R5/3kp1n1/1r4B1/2P5/3N4/5R1K w - - 0 1)
Lewis, Robert Tony
The Problemist, 2000
#2
7 + 5
SOLUTION
- SOUND
- Sets
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rxg4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb6
- 2.Qc4#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sf3
- 2.Be6#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...e4
- 2.Rf5#
- 1...Rb1
- Tries
- 1.Kg2?
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sf3
- 2.Be6#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rxg4+!
- 1...Rb6
- 1.Kh2?
- 1...Rxg4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Sf3+!
- 1...Rxg4
- 1.Bh3?
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rg4
- 2.Qb5#
- 1...Rh4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Sxh3!
- 1...Rb6
- 1.Bd7?
- 1...e4
- 2.Rf5#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qd3#
- 2.Qc4#
- 1...Rb2
- 2.Qd3#
- 2.Qc4#
- 1...Rb3
- 2.Qd3#
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 2.Qa5#
- 1...Re4
- 2.Qb5#
- 2.Qa5#
- 1...Rf4
- 2.Qb5#
- 2.Qa5#
- 1...Rg4
- 2.Qb5#
- 2.Qa5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb6
- 2.Qd3#
- 2.Qc4#
- 1...Rb7
- 2.Qd3#
- 2.Qc4#
- 1...Rb8
- 2.Qd3#
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rh4+!
- 1...e4
- 1.Bc8?
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rg4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rh4+!
- 1...Rb6
- 1.Rc1?
- 1...Rxg4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...e4!
- 1...Rxg4
- 1.Re1?
- 1...Rxg4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...e4!
- 1...Rxg4
- 1.Rg1?
- 1...Rxg4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...e4!
- 1...Rxg4
- 1.Rf2?
- 1...Rxg4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Sf3
- 2.Be6#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rb1+!
- 1...Rxg4
- 1.Rf3?
- 1...Rxg4
- 2.Qb5#
- 1...Sxf3
- 2.Be6#
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Rb2
- 2.Rd3#
- 2.Qc4#
- 1...Rb3
- 2.Rd3#
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Rd3#
- 2.Qxb5#
- 1...Rb7
- 2.Rd3#
- 2.Qc4#
- 1...Rb8
- 2.Rd3#
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rb1+!
- 1...Rxg4
- 1.Rff6?
- 1...Rxg4
- 2.Qb5#
- 2.Qa5#
- 1...e4
- 2.Rf5#
- 1...Sf3
- 2.Be6#
- 1...Rb2
- 2.Qd3#
- 2.Qc4#
- 1...Rb3
- 2.Qd3#
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 2.Qa5#
- 1...Re4
- 2.Qb5#
- 2.Qa5#
- 1...Rf4
- 2.Qb5#
- 2.Qa5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb6
- 2.Qd3#
- 2.Qc4#
- 1...Rb7
- 2.Qd3#
- 2.Qc4#
- 1...Rb8
- 2.Qd3#
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rb1+!
- 1...Rxg4
- 1.Rf7?
- threat
- 2.Rd7#
- 1...Sxf7
- 2.Be6#
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Se4
- 2.Be6#
- 1...Rb1+!
- threat
- 1.Rf8?
- threat
- 2.Rd8#
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Rb8
- 2.Qc4#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Rb1+!
- threat
- 1.Rd6+?
- 1...Kc5
- 2.Qc6#
- 1...cxd6!
- 1...Kc5
- 1.Re6?
- threat
- 2.Qc6#
- 1...Kc5
- 2.Rxe5#
- 2.Qc6#
- 1...Rc4
- 2.Qxc4#
- 1...Rb6
- 2.Qc4#
- 1...c6
- 2.Qxc6#
- 1...Sxe6!
- threat
- 1.Rcf6?
- threat
- 2.Qc6#
- 1...Kc5
- 2.Qc6#
- 1...e4
- 2.R1f5#
- 2.R6f5#
- 1...Rc4
- 2.Qxc4#
- 1...Rb6
- 2.Qc4#
- 1...c6
- 2.Qxc6#
- 1...Se6!
- threat
- 1.Rg6?
- threat
- 2.Qc6#
- 1...Kc5
- 2.Qc6#
- 1...e4
- 2.Rf5#
- 2.Rxg5#
- 1...Rc4
- 2.Qxc4#
- 1...Rb6
- 2.Qc4#
- 1...c6
- 2.Qxc6#
- 1...Se6!
- threat
- 1.Rh6?
- threat
- 2.Qc6#
- 1...Kc5
- 2.Qc6#
- 1...e4
- 2.Rf5#
- 1...Rc4
- 2.Qxc4#
- 1...Rb6
- 2.Qc4#
- 1...c6
- 2.Qxc6#
- 1...Se6!
- threat
- 1.Rxc7?
- threat
- 2.Qc6#
- 1...Rb6
- 2.Qd3#
- 1...e4
- 2.Rf5#
- 1...Rc4!
- threat
- 1.Qd3+?
- 1...Rd4
- 2.Qb5#
- 1...Kxc6!
- 1...Rd4
- 1.Qa4?
- 1...Rxg4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 2.Qc4#
- 1...e4
- 2.Rf5#
- 1...Se6
- 2.Bxe6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sf3
- 2.Be6#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rxa4!
- 1...Rxg4
- 1.Qa5+?
- 1...Rb5
- 2.Qxb5#
- 1...Kxc6!
- 1...Rb5
- 1.c4+?
- 1...Rxc4
- 2.Qxc4#
- 1...Kd4!
- 1...Rxc4
- 1.Kg2?
- Keys
- 1.Rd1!
- 1...Rxg4
- 2.Qb5#
- 1...Rb6
- 2.Qc4#
- 1...e4
- 2.Sc4#
- 1...Sf3
- 2.Be6#
- 1...Rb1
- 2.Qc4#
- 1...Rb2
- 2.Qc4#
- 1...Rb3
- 2.Qc4#
- 1...Ra4
- 2.Qb5#
- 1...Rc4
- 2.Qxc4#
- 1...Rd4
- 2.Qb5#
- 1...Re4
- 2.Qb5#
- 1...Rf4
- 2.Qb5#
- 1...Rb5
- 2.Qxb5#
- 1...Rb7
- 2.Qc4#
- 1...Rb8
- 2.Qc4#
- 1...Sh3
- 2.Be6#
- 1...Se4
- 2.Be6#
- 1...Se6
- 2.Bxe6#
- 1...Sf7
- 2.Be6#
- 1...Sh7
- 2.Be6#
- 1...Rxg4
- 1.Rd1!
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 1
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E)
- S(d);N_GUARD::B(E),XS(d)
- P(c);OGATEB::R(A)
- Tries
- Try
- K(B);S_FLIGHT
- Vars
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- R(a);N_GUARD,P_PINS(C)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK,XB(E)
- Try
- K(B);P-FLIGHT
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- R(a);N_GUARD,P_PINS(C)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- S(d);CHECK
- Try
- B(E);
- Vars
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD,P_PINB(E)::QAR2(F)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- S(d);XB(E)
- Try
- B(E);
- Vars
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK
- Try
- B(E);
- Vars
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK
- Try
- R(A);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAB1(F)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAB1(F)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAB1(F)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- P(c);
- Try
- R(A);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK
- Try
- R(A);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- S(d);N_GUARD,XR(A)::B(E)
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- S(d);N_GUARD::B(E)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK
- Try
- R(A);
- Vars
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK
- Try
- R(A);
- Threat
- R(A)
- Vars
- S(d);N_GUARD,XR(A)::B(E)
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- Refutation
- R(a);CHECK
- Try
- R(A);
- Threat
- R(A)
- Vars
- R(a);N_GUARD::QAB1(F)
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E)
- S(d);N_GUARD::B(E),XS(d)
- Refutation
- R(a);CHECK
- Try
- R(G);CHECK
- Vars
- K(b);P-FLIGHT::QAR1(F)
- Refutation
- P(e);XR(G)
- Try
- R(G);
- Threat
- QAB1(F)
- Vars
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAB1(F)
- P(e);::QAB1(F),XP(e)
- Refutation
- S(d);XR(G)
- Try
- R(G);
- Threat
- QAB1(F)
- Vars
- K(b);P-FLIGHT::QAR1(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAB1(F)
- P(e);::QAB1(F),XP(e)
- Refutation
- S(d);
- Try
- R(G);
- Threat
- QAB1(F)
- Vars
- K(b);P-FLIGHT::QAR1(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAB1(F)
- P(e);::QAB1(F),XP(e)
- Refutation
- S(d);
- Try
- R(G);
- Threat
- QAB1(F)
- Vars
- K(b);P-FLIGHT::QAR1(F)
- P(c);OGATEB::R(A)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAB1(F)
- P(e);::QAB1(F),XP(e)
- Refutation
- S(d);
- Try
- R(G);XP(e)
- Threat
- QAB1(F)
- Vars
- R(a);N_GUARD::QAR2(F)
- P(c);OGATEB::R(A)
- Refutation
- R(a);
- Try
- Q(F);CHECK
- Vars
- R(a);N_GUARD,P_SPINR(a)::QAR2(F)
- Refutation
- K(b);S_FLIGHT,XR(G)
- Try
- Q(F);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- P(c);OGATEB::R(A)
- S(d);N_GUARD::B(E),XS(d)
- R(a);OGATE,P_PINR(A)::QAB1(F)
- R(a);OGATE::QAB1(F)
- R(a);OGATE::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F)
- S(d);N_GUARD::B(E)
- Refutation
- R(a);XQ(F)
- Try
- Q(F);CHECK
- Vars
- R(a);N_GUARD,P_SPINR(a)::QAR2(F),XR(a)
- Refutation
- K(b);S_FLIGHT,XR(G)
- Try
- P(D);CHECK
- Vars
- R(a);OGATE,XP(D)::QAB1(F),XR(a)
- Refutation
- K(b);P-FLIGHT
- Try
- Actual
- R(A);
- Vars
- R(a);N_GUARD,XB(E)::QAR2(F)
- R(a);N_GUARD::QAB1(F)
- P(c);SBLOCK::R(A)+S(C)
- S(d);N_GUARD::B(E)
- R(a);N_GUARD,P_PINR(A)::QAB1(F)
- R(a);N_GUARD::QAR2(F)
- R(a);N_GUARD::QAB1(F),XR(a)
- R(a);N_GUARD::QAR2(F),XR(a)
- S(d);N_GUARD::B(E),XS(d)
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).