MESON Chess Problem Database

Problem Display
PID: 3023 (R3Q3/1BK2p2/1B2rP2/rp2k2N/6P1/3R4/3Pn1n1/8 w - - 0 1)

Bernard, Henry D'Oyly

Good Companions (March), 1917

R3Q3/1BK2p2/1B2rP2/rp2k2N/6P1/3R4/3Pn1n1/8

#2

10 + 7

2681 All Change Here! 1919
3132 The Good Companion Two-Mover 1922

SOLUTION

  • SOUND
  • Sets
    • 1...Ra1
      • 2.Qxb5#
    • 1...Ra2
      • 2.Qxb5#
    • 1...Ra3
      • 2.Qxb5#
    • 1...Ra4
      • 2.Qxb5#
    • 1...Ra6
      • 2.Qxb5#
    • 1...Ra7
      • 2.Qxb5#
    • 1...Rxa8
      • 2.Qxb5#
    • 1...Re7+
      • 2.Qxe7#
    • 1...Rxe8
      • 2.Rxe8#
    • 1...Sc1
      • 2.Bd4#
    • 1...Sg1
      • 2.Bd4#
    • 1...Sc3
      • 2.Bd4#
    • 1...Sg3
      • 2.Bd4#
    • 1...Sd4
      • 2.Bxd4#
    • 1...Sef4
      • 2.Bd4#
    • 1...Se1
      • 2.Re3#
    • 1...Se3
      • 2.Rxe3#
    • 1...Sgf4
      • 2.Re3#
    • 1...Sh4
      • 2.Re3#
    • 1...b4
      • 2.Rxa5#
  • Tries
    • 1.Kd7?
      • threat
        • 2.Bc7#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Ra6!
    • 1.Bc5?
      • threat
        • 2.Bd6#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Ra6!
    • 1.Ba7?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa7
        • 2.Qxb5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Se1
        • 2.Re3#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Sc1
        • 2.Bd4#
      • 1...Sg1
        • 2.Bd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4!
    • 1.Bxg2?
      • threat
        • 2.Re3#
        • 2.Rd5#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Re3#
        • 2.Rxe8#
      • 1...Ra3
        • 2.Rd5#
        • 2.Qxb5#
      • 1...Ra4
        • 2.Rd5#
        • 2.Qxb5#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
        • 2.Rd5#
      • 1...Sd4
        • 2.Bxd4#
        • 2.Re3#
      • 1...Sf4
        • 2.Bd4#
        • 2.Re3#
      • 1...b4
        • 2.Re3#
        • 2.Rxa5#
      • 1...Ra7+!
    • 1.Bf3?
      • threat
        • 2.Rd5#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Ra7+!
    • 1.Ra3?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa3
        • 2.Qxb5#
      • 1...Rxa8
        • 2.Qxb5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Se1
        • 2.Re3#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Sc1
        • 2.d4#
      • 1...Sg1
        • 2.d4#
      • 1...Sc3
        • 2.d4#
      • 1...Sg3
        • 2.d4#
      • 1...Sef4
        • 2.d4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.R3xa5#
        • 2.R8xa5#
      • 1...Sd4!
    • 1.Rb3?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa8
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Se1
        • 2.Re3#
      • 1...Ra1
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Ra2
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Ra3
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Ra4
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Ra6
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Ra7
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Sc1
        • 2.d4#
      • 1...Sg1
        • 2.d4#
      • 1...Sc3
        • 2.d4#
      • 1...Sg3
        • 2.d4#
      • 1...Sef4
        • 2.d4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Sd4!
    • 1.Rf3?
      • threat
        • 2.Rf5#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sg3
        • 2.d4#
      • 1...Sef4
        • 2.d4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...Sd4!
    • 1.Rg3?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa8
        • 2.Qxb5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sxg3
        • 2.d4#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Sc1
        • 2.d4#
      • 1...Sg1
        • 2.d4#
      • 1...Sc3
        • 2.d4#
      • 1...Sef4
        • 2.d4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Sd4!
    • 1.Rh3?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa8
        • 2.Qxb5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Sc1
        • 2.d4#
      • 1...Sg1
        • 2.d4#
      • 1...Sc3
        • 2.d4#
      • 1...Sg3
        • 2.d4#
      • 1...Sef4
        • 2.d4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Sd4!
    • 1.Rxa5?
      • threat
        • 2.Rxb5#
        • 2.Qxb5#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Rxe8!
    • 1.Ra6?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa6
        • 2.Qxb5#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Sc1
        • 2.Bd4#
      • 1...Sg1
        • 2.Bd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Rxe8!
    • 1.Ra7?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa7
        • 2.Qxb5#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Sc1
        • 2.Bd4#
      • 1...Sg1
        • 2.Bd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Rxe8!
    • 1.Rb8?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Ra8
        • 2.Qxb5#
      • 1...Sc1
        • 2.Bd4#
      • 1...Sg1
        • 2.Bd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4!
    • 1.Rc8?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Ra8
        • 2.Qxb5#
      • 1...Sc1
        • 2.Bd4#
      • 1...Sg1
        • 2.Bd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4!
    • 1.Rad8?
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sd4
        • 2.Bxd4#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Ra8
        • 2.Qxb5#
      • 1...Sc1
        • 2.Bd4#
      • 1...Sg1
        • 2.Bd4#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sg3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se1
        • 2.Re3#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4!
    • 1.Qd7?
      • threat
        • 2.Qd5#
      • 1...Rd6
        • 2.Qf5#
        • 2.Qxd6#
      • 1...Re7
        • 2.Qxe7#
      • 1...Sc3
        • 2.Bd4#
        • 2.Qd4#
      • 1...Sef4
        • 2.Bd4#
        • 2.Qd4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Rc6+!
    • 1.Qxe6+?
      • 1...Kxe6
        • 2.Re8#
      • 1...fxe6!
    • 1.Qe7?
      • threat
        • 2.Qc5#
      • 1...Sc3
        • 2.Bd4#
      • 1...Sef4
        • 2.Bd4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Rxe7+!
    • 1.Qd8?
      • threat
        • 2.Qd5#
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rd6
        • 2.Qxd6#
      • 1...Sc3
        • 2.Bd4#
        • 2.Qd4#
      • 1...Sef4
        • 2.Bd4#
        • 2.Qd4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#
      • 1...Rc6+!
  • Keys
    • 1.Rc3!
      • 1...Re7+
        • 2.Qxe7#
      • 1...Rxa8
        • 2.Qxb5#
      • 1...Rxe8
        • 2.Rxe8#
      • 1...Sxc3
        • 2.d4#
      • 1...Se1
        • 2.Re3#
      • 1...Ra1
        • 2.Qxb5#
      • 1...Ra2
        • 2.Qxb5#
      • 1...Ra3
        • 2.Qxb5#
      • 1...Ra4
        • 2.Qxb5#
      • 1...Ra6
        • 2.Qxb5#
      • 1...Ra7
        • 2.Qxb5#
      • 1...Sc1
        • 2.d4#
      • 1...Sg1
        • 2.d4#
      • 1...Sg3
        • 2.d4#
      • 1...Sd4
        • 2.Rc5#
      • 1...Sef4
        • 2.d4#
      • 1...Se3
        • 2.Rxe3#
      • 1...Sgf4
        • 2.Re3#
      • 1...Sh4
        • 2.Re3#
      • 1...b4
        • 2.Rxa5#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 6
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • R(c);N_GUARD::QAR(J),XP(d)
    • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
    • R(c);N_GUARD,XR(I)::QAR(J),XP(d)
    • R(f);CHECK,OGATEB::QAR2(J),XR(f)
    • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
    • S(a);N_GUARD::B(E)
    • S(a);N_GUARD::B(E),XS(a)
    • S(b);N_GUARD::R(B)
    • S(b);N_GUARD::R(B),XS(b)
    • P(d);OGATEB::R(I),XR(c)
  • Tries
    • Try
      • K(H);P-FLIGHT
      • Threat
        • B(E)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
      • Refutation
        • R(c);
    • Try
      • B(E);
      • Threat
        • B(E)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
      • Refutation
        • R(c);
    • Try
      • B(E);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(c);N_GUARD,P_PINB(G),XB(E)::QAR(J),XP(d)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(b);N_GUARD::R(B)
        • R(c);N_GUARD::QAR(J),XP(d)
        • S(a);N_GUARD::B(E)
        • S(a);N_GUARD::B(E),XS(a)
        • S(b);N_GUARD::R(B),XS(b)
      • Refutation
        • P(d);
    • Try
      • B(G);XS(b)
      • Threat
        • DUALS(2)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • S(a);N_GUARD::B(E)
      • Refutation
        • R(c);CHECK
    • Try
      • B(G);
      • Threat
        • R1(B)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(a);N_GUARD::B(E)
        • S(a);N_GUARD::B(E),XS(a)
        • S(b);N_GUARD::R(B),XS(b)
        • S(b);N_GUARD::R(B)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • R(c);CHECK
    • Try
      • R(B);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(c);N_GUARD,XR(B)::QAR(J),XP(d)
        • R(c);N_GUARD,XR(I)::QAR(J),XP(d)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(b);N_GUARD::R(B)
        • R(c);N_GUARD::QAR(J),XP(d)
        • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
        • S(a);N_GUARD::P(A)
        • S(b);N_GUARD::R(B),XS(b)
      • Refutation
        • S(a);
    • Try
      • R(B);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(b);N_GUARD::R(B)
        • S(a);N_GUARD::P(A)
        • S(b);N_GUARD::R(B),XS(b)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • S(a);
    • Try
      • R(B);
      • Threat
        • R1(B)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(a);N_GUARD::P(A)
        • S(b);N_GUARD::R(B),XS(b)
        • S(b);N_GUARD::R(B)
      • Refutation
        • S(a);
    • Try
      • R(B);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(c);N_GUARD,XR(I)::QAR(J),XP(d)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(a);N_GUARD,XR(B)::P(A)
        • R(c);N_GUARD::QAR(J),XP(d)
        • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
        • S(a);N_GUARD::P(A)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • S(a);
    • Try
      • R(B);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(c);N_GUARD,XR(I)::QAR(J),XP(d)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • R(c);N_GUARD::QAR(J),XP(d)
        • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
        • S(a);N_GUARD::P(A)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • S(a);
    • Try
      • R(I);P_PINP(d),XR(c)
      • Threat
        • DUALS(2)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • S(a);N_GUARD::B(E),XS(a)
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B),XS(b)
        • S(b);N_GUARD::R(B)
      • Refutation
        • R(f);N_SPINR(f),XQ(J)
    • Try
      • R(I);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(c);N_GUARD,XR(I)::QAR(J),XP(d)
        • S(a);N_GUARD::B(E),XS(a)
        • R(c);N_GUARD::QAR(J),XP(d)
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XQ(J)
    • Try
      • R(I);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(c);N_GUARD,P_PINB(G),XR(I)::QAR(J),XP(d)
        • S(a);N_GUARD::B(E),XS(a)
        • R(c);N_GUARD::QAR(J),XP(d)
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • R(f);N_SPINR(f),XQ(J)
    • Try
      • R(I);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(a);N_GUARD::B(E),XS(a)
        • R(c);N_GUARD::QAR(J),XP(d)
        • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
      • Refutation
        • P(d);
    • Try
      • R(I);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(a);N_GUARD::B(E),XS(a)
        • R(c);N_GUARD::QAR(J),XP(d)
        • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
      • Refutation
        • P(d);
    • Try
      • R(I);
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
        • S(a);N_GUARD::B(E),XS(a)
        • R(c);N_GUARD::QAR(J),XP(d)
        • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B)
        • S(b);N_GUARD::R(B),XS(b)
      • Refutation
        • P(d);
    • Try
      • Q(J);N_PINR(f)
      • Threat
        • QAR1(J)
      • Vars
        • R(f);OGATEB,P_PINQ(J)::QAR2(J),XR(f)
        • S(b);N_GUARD::R(B),XS(b)
        • S(b);N_GUARD::R(B)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • R(f);CHECK
    • Try
      • Q(J);CHECK,XR(f)
      • Vars
        • K(e);P-FLIGHT,XQ(J)::R(I)
      • Refutation
        • P(g);XQ(J)
    • Try
      • Q(J);
      • Threat
        • QAR2(J)
      • Vars
        • S(a);N_GUARD::B(E)
        • S(b);N_GUARD::R(B),XS(b)
        • S(b);N_GUARD::R(B)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • R(f);CHECK,N_SPINR(f),XQ(J)
    • Try
      • Q(J);N_PINR(f)
      • Threat
        • QAR1(J)
      • Vars
        • R(f);CHECK,OGATEB::QAR2(J),XR(f)
        • R(f);N_GUARD::QAB1(J),XR(f)
        • S(b);N_GUARD::R(B),XS(b)
        • S(b);N_GUARD::R(B)
        • P(d);OGATEB::R(I),XR(c)
      • Refutation
        • R(f);CHECK
  • Actual
    • R(B);
    • Vars
      • R(f);CHECK,OGATEB::QAR2(J),XR(f)
      • R(c);N_GUARD,XR(I)::QAR(J),XP(d)
      • R(f);N_SPINR(f),OGATE,XQ(J)::R(I),XR(f)
      • S(a);N_GUARD,XR(B)::P(A)
      • S(b);N_GUARD::R(B)
      • R(c);N_GUARD::QAR(J),XP(d)
      • R(c);N_GUARD,P_PINB(G)::QAR(J),XP(d)
      • S(a);N_GUARD::P(A)
      • S(a);SBLOCK::R(B)
      • S(b);N_GUARD::R(B),XS(b)
      • P(d);OGATEB::R(I),XR(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).