EXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 2

strat_a(A,B) :- rule_impI(A,C), assumption(C,B).
strat_a(A,B) :- rule_impI(A,C), strat_a(C,B).

TEST ACCURACY strat_a: 0.46 secondsEXAMPLE EPISODE: strat_c

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_c, BOUND: 3

strat_c(A,B) :- erule_notE(A,C), assumption(C,B).
strat_c(A,B) :- rule_impI(A,C), strat_c(C,B).
strat_c(A,B) :- rule_notI(A,C), strat_c(C,B).

TEST ACCURACY strat_c: 0.476 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 1

strat_e(A,B) :- rule_impI(A,C), assumption(C,B).

TEST ACCURACY strat_e: 0.46 secondsEXAMPLE EPISODE: strat_g

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_g, BOUND: 3

strat_g(A,B) :- erule_notE(A,C), assumption(C,B).
strat_g(A,B) :- rule_classical(A,C), strat_g(C,B).
strat_g(A,B) :- rule_impI(A,C), strat_g(C,B).

TEST ACCURACY strat_g: 0.492 secondsEXAMPLE EPISODE: strat_h

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_h, BOUND: 3

strat_h(A,B) :- erule_conjE(A,C), strat_h(C,B).
strat_h(A,B) :- rule_conjI(A,C), assumption(C,B).
strat_h(A,B) :- rule_impI(A,C), strat_h(C,B).

TEST ACCURACY strat_h: 0.464 secondsEXAMPLE EPISODE: strat_i

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_i, BOUND: 3

strat_i(A,B) :- erule_impE(A,C), assumption(C,B).
strat_i(A,B) :- erule_impE(A,C), strat_i(C,B).
strat_i(A,B) :- rule_impI(A,C), strat_i(C,B).

TEST ACCURACY strat_i: 0.472 secondsEXAMPLE EPISODE: strat_k

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_k, BOUND: 3

strat_k(A,B) :- erule_conjE(A,C), strat_k(C,B).
strat_k(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_k(A,B) :- rule_impI(A,C), strat_k(C,B).

TEST ACCURACY strat_k: 0.456 secondsEXAMPLE EPISODE: strat_l

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_l, BOUND: 3

strat_l(A,B) :- erule_impE(A,C), assumption(C,B).
strat_l(A,B) :- erule_impE(A,C), strat_l(C,B).
strat_l(A,B) :- rule_impI(A,C), strat_l(C,B).

TEST ACCURACY strat_l: 0.46 secondsEXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 2

strat_a(A,B) :- rule_impI(A,C), assumption(C,B).
strat_a(A,B) :- rule_impI(A,C), strat_a(C,B).

TEST ACCURACY strat_a: 0.452 secondsEXAMPLE EPISODE: strat_b

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_b, BOUND: 4

strat_b(A,B) :- erule_disjE(A,C), strat_b(C,B).
strat_b(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_b(A,B) :- rule_disjI2(A,C), assumption(C,B).
strat_b(A,B) :- rule_impI(A,C), strat_b(C,B).

TEST ACCURACY strat_b: 1.152 secondsEXAMPLE EPISODE: strat_c

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_c, BOUND: 3

strat_c(A,B) :- erule_notE(A,C), assumption(C,B).
strat_c(A,B) :- rule_impI(A,C), strat_c(C,B).
strat_c(A,B) :- rule_notI(A,C), strat_c(C,B).

TEST ACCURACY strat_c: 0.48 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 1

strat_e(A,B) :- rule_impI(A,C), assumption(C,B).

TEST ACCURACY strat_e: 0.456 secondsEXAMPLE EPISODE: strat_f

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_f, BOUND: 4

strat_f(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_f(A,B) :- strat_f_1(A,C), strat_f(C,B).
strat_f_1(A,B) :- rule_classical(A,C), rule_disjI2(C,B).
strat_f_1(A,B) :- rule_notI(A,C), erule_notE(C,B).

TEST ACCURACY strat_f: 1.432 secondsEXAMPLE EPISODE: strat_g

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_g, BOUND: 3

strat_g(A,B) :- erule_notE(A,C), assumption(C,B).
strat_g(A,B) :- rule_classical(A,C), strat_g(C,B).
strat_g(A,B) :- rule_impI(A,C), strat_g(C,B).

TEST ACCURACY strat_g: 0.456 secondsEXAMPLE EPISODE: strat_h

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_h, BOUND: 3

strat_h(A,B) :- erule_conjE(A,C), strat_h(C,B).
strat_h(A,B) :- rule_conjI(A,C), assumption(C,B).
strat_h(A,B) :- rule_impI(A,C), strat_h(C,B).

TEST ACCURACY strat_h: 0.472 secondsEXAMPLE EPISODE: strat_i

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_i, BOUND: 3

strat_i(A,B) :- erule_impE(A,C), assumption(C,B).
strat_i(A,B) :- erule_impE(A,C), strat_i(C,B).
strat_i(A,B) :- rule_impI(A,C), strat_i(C,B).

TEST ACCURACY strat_i: 0.484 secondsEXAMPLE EPISODE: strat_j

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_j, BOUND: 4

strat_j(A,B) :- erule_impE(A,C), strat_j(C,B).
strat_j(A,B) :- erule_notE(A,C), assumption(C,B).
strat_j(A,B) :- rule_classical(A,C), strat_j(C,B).
strat_j(A,B) :- rule_impI(A,C), strat_j(C,B).

TEST ACCURACY strat_j: 1.028 secondsEXAMPLE EPISODE: strat_k

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_k, BOUND: 3

strat_k(A,B) :- erule_conjE(A,C), strat_k(C,B).
strat_k(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_k(A,B) :- rule_impI(A,C), strat_k(C,B).

TEST ACCURACY strat_k: 0.488 secondsEXAMPLE EPISODE: strat_l

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_l, BOUND: 3

strat_l(A,B) :- erule_impE(A,C), assumption(C,B).
strat_l(A,B) :- erule_impE(A,C), strat_l(C,B).
strat_l(A,B) :- rule_impI(A,C), strat_l(C,B).

TEST ACCURACY strat_l: 0.492 secondsEXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 2

strat_a(A,B) :- rule_impI(A,C), assumption(C,B).
strat_a(A,B) :- rule_impI(A,C), strat_a(C,B).

TEST ACCURACY strat_a: 0.46 secondsEXAMPLE EPISODE: strat_b

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_b, BOUND: 4

strat_b(A,B) :- erule_disjE(A,C), strat_b(C,B).
strat_b(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_b(A,B) :- rule_disjI2(A,C), assumption(C,B).
strat_b(A,B) :- rule_impI(A,C), strat_b(C,B).

TEST ACCURACY strat_b: 1.216 secondsEXAMPLE EPISODE: strat_c

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_c, BOUND: 3

strat_c(A,B) :- erule_notE(A,C), assumption(C,B).
strat_c(A,B) :- rule_impI(A,C), strat_c(C,B).
strat_c(A,B) :- rule_notI(A,C), strat_c(C,B).

TEST ACCURACY strat_c: 0.476 secondsEXAMPLE EPISODE: strat_d

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_d, BOUND: 4

strat_d(A,B) :- strat_d_1(A,C), assumption(C,B).
strat_d_1(A,B) :- erule_conjE(A,C), rule_disjI1(C,B).
strat_d_1(A,B) :- erule_disjE(A,C), rule_conjI(C,B).
strat_d_1(A,B) :- rule_iffI(A,C), strat_d_1(C,B).

TEST ACCURACY strat_d: 2.884 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 1

strat_e(A,B) :- rule_impI(A,C), assumption(C,B).

TEST ACCURACY strat_e: 0.436 secondsEXAMPLE EPISODE: strat_f

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_f, BOUND: 4

strat_f(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_f(A,B) :- strat_f_1(A,C), strat_f(C,B).
strat_f_1(A,B) :- rule_classical(A,C), rule_disjI2(C,B).
strat_f_1(A,B) :- rule_notI(A,C), erule_notE(C,B).

TEST ACCURACY strat_f: 1.464 secondsEXAMPLE EPISODE: strat_g

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_g, BOUND: 3

strat_g(A,B) :- erule_notE(A,C), assumption(C,B).
strat_g(A,B) :- rule_classical(A,C), strat_g(C,B).
strat_g(A,B) :- rule_impI(A,C), strat_g(C,B).

TEST ACCURACY strat_g: 0.484 secondsEXAMPLE EPISODE: strat_h

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_h, BOUND: 3

strat_h(A,B) :- erule_conjE(A,C), strat_h(C,B).
strat_h(A,B) :- rule_conjI(A,C), assumption(C,B).
strat_h(A,B) :- rule_impI(A,C), strat_h(C,B).

TEST ACCURACY strat_h: 0.468 secondsEXAMPLE EPISODE: strat_i

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_i, BOUND: 3

strat_i(A,B) :- erule_impE(A,C), assumption(C,B).
strat_i(A,B) :- erule_impE(A,C), strat_i(C,B).
strat_i(A,B) :- rule_impI(A,C), strat_i(C,B).

TEST ACCURACY strat_i: 0.496 secondsEXAMPLE EPISODE: strat_j

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_j, BOUND: 4

strat_j(A,B) :- erule_impE(A,C), strat_j(C,B).
strat_j(A,B) :- erule_notE(A,C), assumption(C,B).
strat_j(A,B) :- rule_classical(A,C), strat_j(C,B).
strat_j(A,B) :- rule_impI(A,C), strat_j(C,B).

TEST ACCURACY strat_j: 1.056 secondsEXAMPLE EPISODE: strat_k

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_k, BOUND: 3

strat_k(A,B) :- erule_conjE(A,C), strat_k(C,B).
strat_k(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_k(A,B) :- rule_impI(A,C), strat_k(C,B).

TEST ACCURACY strat_k: 0.46 secondsEXAMPLE EPISODE: strat_l

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_l, BOUND: 3

strat_l(A,B) :- erule_impE(A,C), assumption(C,B).
strat_l(A,B) :- erule_impE(A,C), strat_l(C,B).
strat_l(A,B) :- rule_impI(A,C), strat_l(C,B).

TEST ACCURACY strat_l: 0.464 secondsEXAMPLE EPISODE: strat_a

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_a, BOUND: 2

strat_a(A,B) :- rule_impI(A,C), assumption(C,B).
strat_a(A,B) :- rule_impI(A,C), strat_a(C,B).

TEST ACCURACY strat_a: 0.452 secondsEXAMPLE EPISODE: strat_b

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_b, BOUND: 4

strat_b(A,B) :- erule_disjE(A,C), strat_b(C,B).
strat_b(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_b(A,B) :- rule_disjI2(A,C), assumption(C,B).
strat_b(A,B) :- rule_impI(A,C), strat_b(C,B).

TEST ACCURACY strat_b: 1.188 secondsEXAMPLE EPISODE: strat_c

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_c, BOUND: 3

strat_c(A,B) :- erule_notE(A,C), assumption(C,B).
strat_c(A,B) :- rule_impI(A,C), strat_c(C,B).
strat_c(A,B) :- rule_notI(A,C), strat_c(C,B).

TEST ACCURACY strat_c: 0.464 secondsEXAMPLE EPISODE: strat_d

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_d, BOUND: 4

strat_d(A,B) :- strat_d_1(A,C), assumption(C,B).
strat_d_1(A,B) :- erule_conjE(A,C), rule_disjI1(C,B).
strat_d_1(A,B) :- erule_disjE(A,C), rule_conjI(C,B).
strat_d_1(A,B) :- rule_iffI(A,C), strat_d_1(C,B).

TEST ACCURACY strat_d: 2.824 secondsEXAMPLE EPISODE: strat_e

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_e, BOUND: 1

strat_e(A,B) :- rule_impI(A,C), assumption(C,B).

TEST ACCURACY strat_e: 0.44 secondsEXAMPLE EPISODE: strat_f

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_f, BOUND: 4

strat_f(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_f(A,B) :- strat_f_1(A,C), strat_f(C,B).
strat_f_1(A,B) :- rule_classical(A,C), rule_disjI2(C,B).
strat_f_1(A,B) :- rule_notI(A,C), erule_notE(C,B).

TEST ACCURACY strat_f: 1.528 secondsEXAMPLE EPISODE: strat_g

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_g, BOUND: 3

strat_g(A,B) :- erule_notE(A,C), assumption(C,B).
strat_g(A,B) :- rule_classical(A,C), strat_g(C,B).
strat_g(A,B) :- rule_impI(A,C), strat_g(C,B).

TEST ACCURACY strat_g: 0.484 secondsEXAMPLE EPISODE: strat_h

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_h, BOUND: 3

strat_h(A,B) :- erule_conjE(A,C), strat_h(C,B).
strat_h(A,B) :- rule_conjI(A,C), assumption(C,B).
strat_h(A,B) :- rule_impI(A,C), strat_h(C,B).

TEST ACCURACY strat_h: 0.472 secondsEXAMPLE EPISODE: strat_i

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_i, BOUND: 3

strat_i(A,B) :- erule_impE(A,C), assumption(C,B).
strat_i(A,B) :- erule_impE(A,C), strat_i(C,B).
strat_i(A,B) :- rule_impI(A,C), strat_i(C,B).

TEST ACCURACY strat_i: 0.456 secondsEXAMPLE EPISODE: strat_j

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 2
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 4
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_j, BOUND: 4

strat_j(A,B) :- erule_impE(A,C), strat_j(C,B).
strat_j(A,B) :- erule_notE(A,C), assumption(C,B).
strat_j(A,B) :- rule_classical(A,C), strat_j(C,B).
strat_j(A,B) :- rule_impI(A,C), strat_j(C,B).

TEST ACCURACY strat_j: 1.012 secondsEXAMPLE EPISODE: strat_k

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_k, BOUND: 3

strat_k(A,B) :- erule_conjE(A,C), strat_k(C,B).
strat_k(A,B) :- rule_disjI1(A,C), assumption(C,B).
strat_k(A,B) :- rule_impI(A,C), strat_k(C,B).

TEST ACCURACY strat_k: 0.488 secondsEXAMPLE EPISODE: strat_l

TRY CLAUSE BOUND: 1
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 2
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
TRY NEW PREDICATE BOUND: 1
TRY METARULE SET: [tag1,tag2,tag3]
TRY CLAUSE BOUND: 3
TRY NEW PREDICATE BOUND: 0
TRY METARULE SET: [tag1,tag2,tag3]
FINAL HYPOTHESIS FOR EPISODE: strat_l, BOUND: 3

strat_l(A,B) :- erule_impE(A,C), assumption(C,B).
strat_l(A,B) :- erule_impE(A,C), strat_l(C,B).
strat_l(A,B) :- rule_impI(A,C), strat_l(C,B).

TEST ACCURACY strat_l: 0.5 seconds