%{[1,2],[551,552]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{3,[],[s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{3,[],[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {3,[],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]],_132728}
[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]

result_oneSample(0,4,1,90.9,336).

% Accurracies: [90.9] Average-90.9
% Time taken[336]


%{[1,2,3],[551,552,553]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{3,[],[s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{3,[],[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {3,[],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]],_172997}
[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]

result_oneSample(0,6,1,90.9,236).

% Accurracies: [90.9] Average-90.9
% Time taken[236]


%{[1,2,3,4],[551,552,553,554]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{3,[],[s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{3,[],[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {3,[],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]],_213454}
[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]

result_oneSample(0,8,1,90.9,253).

% Accurracies: [90.9] Average-90.9
% Time taken[253]


%{[1,2,3,4,5],[551,552,553,554,555]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{3,[],[s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{3,[],[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {3,[],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]],_254099}
[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]

result_oneSample(0,10,1,90.9,344).

% Accurracies: [90.9] Average-90.9
% Time taken[344]


%{[1,2,3,4,5,6,7,8,9,10],[551,552,553,554,555,556,557,558,559,560]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {4,[],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]],_133347}
[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]

result_oneSample(0,20,1,97.1,401).

% Accurracies: [97.1] Average-97.1
% Time taken[401]


%{[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],[551,552,553,554,555,556,557,558,559,560,561,562,563,564,565]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]}.
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {4,[],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]],_172214}
[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]

result_oneSample(0,30,1,97.1,476).

% Accurracies: [97.1] Average-97.1
% Time taken[476]


%{[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20],[551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570]}generalising 1-s(s(s(s(s(s(s(s(s(0)))))))))
*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s(1)).
cf_ruleL(s(1),b,s(1)).
cf_ruleL(s,a,s(1)).


*** One Candidate Hypothesis ***
cf_rule0(s(1)).
cf_ruleL(s(1),a,s).
cf_ruleL(s,b,s(1)).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


*** One Candidate Hypothesis ***
cf_rule0(s).
cf_ruleL(s,b,s).
cf_ruleL(s,a,s).


1%----------------total number of derived candidates4[[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]-[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s}],[ta-cf_ruleL/{s,b,s(1)}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s(1),s],[[ta-cf_rule0/{s}],[ta-cf_ruleL/{s,b,s}],[ta-cf_ruleL/{s,a,s}]]-[s]]
{4,[],[s(1),s],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]}.

Chosen for this generation {4,[],[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]],_210656}
[[ta-cf_rule0/{s(1)}],[ta-cf_ruleL/{s(1),a,s(1)}],[ta-cf_ruleL/{s(1),b,s(1)}],[ta-cf_ruleL/{s,a,s(1)}]]