Execution time 0.701000 seconds. Generated rules
def_rule(1,[pos(16),[fairheads1fairheads2,fairheads1fairtails2,fairtails1fairheads2,fairtails1fairtails2,fairheads1biasedheads2,fairheads1biasedtails2,fairtails1biasedheads2,fairtails1biasedtails2,biasedheads1fairheads2,biasedheads1fairtails2,biasedtails1fairheads2,biasedtails1fairtails2,biasedheads1biasedheads2,biasedheads1biasedtails2,biasedtails1biasedheads2,biasedtails1biasedtails2]],(toss(c1):-true)).
def_rule(2,[pos(16),[fairheads1fairheads2,fairheads1fairtails2,fairtails1fairheads2,fairtails1fairtails2,fairheads1biasedheads2,fairheads1biasedtails2,fairtails1biasedheads2,fairtails1biasedtails2,biasedheads1fairheads2,biasedheads1fairtails2,biasedtails1fairheads2,biasedtails1fairtails2,biasedheads1biasedheads2,biasedheads1biasedtails2,biasedtails1biasedheads2,biasedtails1biasedtails2]],(toss(c2):-true)).
rule(1,[pos(16),[[(biasedheads1fairheads2,biased(c1)),(biasedheads1fairtails2,biased(c1)),(biasedtails1fairheads2,biased(c1)),(biasedtails1fairtails2,biased(c1)),(biasedheads1biasedheads2,biased(c1)),(biasedheads1biasedtails2,biased(c1)),(biasedtails1biasedheads2,biased(c1)),(biasedtails1biasedtails2,biased(c1))],[(fairheads1fairheads2,fair(c1)),(fairheads1fairtails2,fair(c1)),(fairtails1fairheads2,fair(c1)),(fairtails1fairtails2,fair(c1)),(fairheads1biasedheads2,fair(c1)),(fairheads1biasedtails2,fair(c1)),(fairtails1biasedheads2,fair(c1)),(fairtails1biasedtails2,fair(c1))]]],(biased(c1):0.09999999999999998 or fair(c1):0.8999999999999999:-true)).
rule(2,[pos(16),[[(fairheads1fairheads2,heads(c1)),(fairheads1fairtails2,heads(c1)),(fairheads1biasedheads2,heads(c1)),(fairheads1biasedtails2,heads(c1)),(biasedheads1fairheads2,heads(c1)),(biasedheads1fairtails2,heads(c1)),(biasedheads1biasedheads2,heads(c1)),(biasedheads1biasedtails2,heads(c1))],[(fairtails1fairheads2,tails(c1)),(fairtails1fairtails2,tails(c1)),(fairtails1biasedheads2,tails(c1)),(fairtails1biasedtails2,tails(c1)),(biasedtails1fairheads2,tails(c1)),(biasedtails1fairtails2,tails(c1)),(biasedtails1biasedheads2,tails(c1)),(biasedtails1biasedtails2,tails(c1))]]],(heads(c1):0.51 or tails(c1):0.49:-true)).
rule(3,[pos(16),[[(biasedheads1fairheads2,biased(c1)),(biasedheads1fairtails2,biased(c1)),(biasedtails1fairheads2,biased(c1)),(biasedtails1fairtails2,biased(c1)),(biasedheads1biasedheads2,biased(c1)),(biasedheads1biasedtails2,biased(c1)),(biasedtails1biasedheads2,biased(c1)),(biasedtails1biasedtails2,biased(c1))],[(fairheads1fairheads2,fair(c1)),(fairheads1fairtails2,fair(c1)),(fairtails1fairheads2,fair(c1)),(fairtails1fairtails2,fair(c1)),(fairheads1biasedheads2,fair(c1)),(fairheads1biasedtails2,fair(c1)),(fairtails1biasedheads2,fair(c1)),(fairtails1biasedtails2,fair(c1))]]],(biased(c1):0.09999999999999998 or fair(c1):0.8999999999999999:-toss(c1))).
rule(4,[pos(16),[[(fairheads1fairheads2,heads(c1)),(fairheads1fairtails2,heads(c1)),(fairheads1biasedheads2,heads(c1)),(fairheads1biasedtails2,heads(c1)),(biasedheads1fairheads2,heads(c1)),(biasedheads1fairtails2,heads(c1)),(biasedheads1biasedheads2,heads(c1)),(biasedheads1biasedtails2,heads(c1))],[(fairtails1fairheads2,tails(c1)),(fairtails1fairtails2,tails(c1)),(fairtails1biasedheads2,tails(c1)),(fairtails1biasedtails2,tails(c1)),(biasedtails1fairheads2,tails(c1)),(biasedtails1fairtails2,tails(c1)),(biasedtails1biasedheads2,tails(c1)),(biasedtails1biasedtails2,tails(c1))]]],(heads(c1):0.51 or tails(c1):0.49:-toss(c1))).
rule(5,[pos(8),[[(biasedheads1fairheads2,heads(c1)),(biasedheads1fairtails2,heads(c1)),(biasedheads1biasedheads2,heads(c1)),(biasedheads1biasedtails2,heads(c1))],[(biasedtails1fairheads2,tails(c1)),(biasedtails1fairtails2,tails(c1)),(biasedtails1biasedheads2,tails(c1)),(biasedtails1biasedtails2,tails(c1))]]],(heads(c1):0.6 or tails(c1):0.39999999999999997:-biased(c1))).
rule(6,[pos(8),[[(fairheads1fairheads2,heads(c1)),(fairheads1fairtails2,heads(c1)),(fairheads1biasedheads2,heads(c1)),(fairheads1biasedtails2,heads(c1))],[(fairtails1fairheads2,tails(c1)),(fairtails1fairtails2,tails(c1)),(fairtails1biasedheads2,tails(c1)),(fairtails1biasedtails2,tails(c1))]]],(heads(c1):0.5 or tails(c1):0.5:-fair(c1))).
rule(7,[pos(8),[[(biasedtails1fairheads2,biased(c1)),(biasedtails1fairtails2,biased(c1)),(biasedtails1biasedheads2,biased(c1)),(biasedtails1biasedtails2,biased(c1))],[(fairtails1fairheads2,fair(c1)),(fairtails1fairtails2,fair(c1)),(fairtails1biasedheads2,fair(c1)),(fairtails1biasedtails2,fair(c1))]]],(biased(c1):0.08163265306122447 or fair(c1):0.9183673469387755:-tails(c1))).
rule(8,[pos(8),[[(biasedheads1fairheads2,heads(c1)),(biasedheads1fairtails2,heads(c1)),(biasedheads1biasedheads2,heads(c1)),(biasedheads1biasedtails2,heads(c1))],[(biasedtails1fairheads2,tails(c1)),(biasedtails1fairtails2,tails(c1)),(biasedtails1biasedheads2,tails(c1)),(biasedtails1biasedtails2,tails(c1))]]],(heads(c1):0.6 or tails(c1):0.39999999999999997:-toss(c1),biased(c1))).
rule(9,[pos(8),[[(fairheads1fairheads2,heads(c1)),(fairheads1fairtails2,heads(c1)),(fairheads1biasedheads2,heads(c1)),(fairheads1biasedtails2,heads(c1))],[(fairtails1fairheads2,tails(c1)),(fairtails1fairtails2,tails(c1)),(fairtails1biasedheads2,tails(c1)),(fairtails1biasedtails2,tails(c1))]]],(heads(c1):0.5 or tails(c1):0.5:-toss(c1),fair(c1))).
rule(10,[pos(8),[[(biasedtails1fairheads2,biased(c1)),(biasedtails1fairtails2,biased(c1)),(biasedtails1biasedheads2,biased(c1)),(biasedtails1biasedtails2,biased(c1))],[(fairtails1fairheads2,fair(c1)),(fairtails1fairtails2,fair(c1)),(fairtails1biasedheads2,fair(c1)),(fairtails1biasedtails2,fair(c1))]]],(biased(c1):0.08163265306122447 or fair(c1):0.9183673469387755:-toss(c1),tails(c1))).
rule(11,[pos(8),[[(biasedheads1fairheads2,heads(c1)),(biasedheads1fairtails2,heads(c1)),(biasedheads1biasedheads2,heads(c1)),(biasedheads1biasedtails2,heads(c1))],[(biasedtails1fairheads2,tails(c1)),(biasedtails1fairtails2,tails(c1)),(biasedtails1biasedheads2,tails(c1)),(biasedtails1biasedtails2,tails(c1))]]],(heads(c1):0.6 or tails(c1):0.39999999999999997:-biased(c1),toss(c1))).
rule(12,[pos(8),[[(fairheads1fairheads2,heads(c1)),(fairheads1fairtails2,heads(c1)),(fairheads1biasedheads2,heads(c1)),(fairheads1biasedtails2,heads(c1))],[(fairtails1fairheads2,tails(c1)),(fairtails1fairtails2,tails(c1)),(fairtails1biasedheads2,tails(c1)),(fairtails1biasedtails2,tails(c1))]]],(heads(c1):0.5 or tails(c1):0.5:-fair(c1),toss(c1))).
rule(13,[pos(8),[[(biasedtails1fairheads2,biased(c1)),(biasedtails1fairtails2,biased(c1)),(biasedtails1biasedheads2,biased(c1)),(biasedtails1biasedtails2,biased(c1))],[(fairtails1fairheads2,fair(c1)),(fairtails1fairtails2,fair(c1)),(fairtails1biasedheads2,fair(c1)),(fairtails1biasedtails2,fair(c1))]]],(biased(c1):0.08163265306122447 or fair(c1):0.9183673469387755:-tails(c1),toss(c1))).
rule(14,[pos(16),[[(fairheads1biasedheads2,biased(c2)),(fairheads1biasedtails2,biased(c2)),(fairtails1biasedheads2,biased(c2)),(fairtails1biasedtails2,biased(c2)),(biasedheads1biasedheads2,biased(c2)),(biasedheads1biasedtails2,biased(c2)),(biasedtails1biasedheads2,biased(c2)),(biasedtails1biasedtails2,biased(c2))],[(fairheads1fairheads2,fair(c2)),(fairheads1fairtails2,fair(c2)),(fairtails1fairheads2,fair(c2)),(fairtails1fairtails2,fair(c2)),(biasedheads1fairheads2,fair(c2)),(biasedheads1fairtails2,fair(c2)),(biasedtails1fairheads2,fair(c2)),(biasedtails1fairtails2,fair(c2))]]],(biased(c2):0.09999999999999998 or fair(c2):0.8999999999999999:-true)).
rule(15,[pos(16),[[(fairheads1fairheads2,heads(c2)),(fairtails1fairheads2,heads(c2)),(fairheads1biasedheads2,heads(c2)),(fairtails1biasedheads2,heads(c2)),(biasedheads1fairheads2,heads(c2)),(biasedtails1fairheads2,heads(c2)),(biasedheads1biasedheads2,heads(c2)),(biasedtails1biasedheads2,heads(c2))],[(fairheads1fairtails2,tails(c2)),(fairtails1fairtails2,tails(c2)),(fairheads1biasedtails2,tails(c2)),(fairtails1biasedtails2,tails(c2)),(biasedheads1fairtails2,tails(c2)),(biasedtails1fairtails2,tails(c2)),(biasedheads1biasedtails2,tails(c2)),(biasedtails1biasedtails2,tails(c2))]]],(heads(c2):0.51 or tails(c2):0.49:-true)).
rule(16,[pos(16),[[(fairheads1biasedheads2,biased(c2)),(fairheads1biasedtails2,biased(c2)),(fairtails1biasedheads2,biased(c2)),(fairtails1biasedtails2,biased(c2)),(biasedheads1biasedheads2,biased(c2)),(biasedheads1biasedtails2,biased(c2)),(biasedtails1biasedheads2,biased(c2)),(biasedtails1biasedtails2,biased(c2))],[(fairheads1fairheads2,fair(c2)),(fairheads1fairtails2,fair(c2)),(fairtails1fairheads2,fair(c2)),(fairtails1fairtails2,fair(c2)),(biasedheads1fairheads2,fair(c2)),(biasedheads1fairtails2,fair(c2)),(biasedtails1fairheads2,fair(c2)),(biasedtails1fairtails2,fair(c2))]]],(biased(c2):0.09999999999999998 or fair(c2):0.8999999999999999:-toss(c2))).
rule(17,[pos(16),[[(fairheads1fairheads2,heads(c2)),(fairtails1fairheads2,heads(c2)),(fairheads1biasedheads2,heads(c2)),(fairtails1biasedheads2,heads(c2)),(biasedheads1fairheads2,heads(c2)),(biasedtails1fairheads2,heads(c2)),(biasedheads1biasedheads2,heads(c2)),(biasedtails1biasedheads2,heads(c2))],[(fairheads1fairtails2,tails(c2)),(fairtails1fairtails2,tails(c2)),(fairheads1biasedtails2,tails(c2)),(fairtails1biasedtails2,tails(c2)),(biasedheads1fairtails2,tails(c2)),(biasedtails1fairtails2,tails(c2)),(biasedheads1biasedtails2,tails(c2)),(biasedtails1biasedtails2,tails(c2))]]],(heads(c2):0.51 or tails(c2):0.49:-toss(c2))).
rule(18,[pos(8),[[(fairheads1biasedheads2,heads(c2)),(fairtails1biasedheads2,heads(c2)),(biasedheads1biasedheads2,heads(c2)),(biasedtails1biasedheads2,heads(c2))],[(fairheads1biasedtails2,tails(c2)),(fairtails1biasedtails2,tails(c2)),(biasedheads1biasedtails2,tails(c2)),(biasedtails1biasedtails2,tails(c2))]]],(heads(c2):0.6 or tails(c2):0.39999999999999997:-biased(c2))).
rule(19,[pos(8),[[(fairheads1fairheads2,heads(c2)),(fairtails1fairheads2,heads(c2)),(biasedheads1fairheads2,heads(c2)),(biasedtails1fairheads2,heads(c2))],[(fairheads1fairtails2,tails(c2)),(fairtails1fairtails2,tails(c2)),(biasedheads1fairtails2,tails(c2)),(biasedtails1fairtails2,tails(c2))]]],(heads(c2):0.5 or tails(c2):0.5:-fair(c2))).
rule(20,[pos(8),[[(fairheads1biasedtails2,biased(c2)),(fairtails1biasedtails2,biased(c2)),(biasedheads1biasedtails2,biased(c2)),(biasedtails1biasedtails2,biased(c2))],[(fairheads1fairtails2,fair(c2)),(fairtails1fairtails2,fair(c2)),(biasedheads1fairtails2,fair(c2)),(biasedtails1fairtails2,fair(c2))]]],(biased(c2):0.08163265306122447 or fair(c2):0.9183673469387755:-tails(c2))).
rule(21,[pos(8),[[(fairheads1biasedheads2,heads(c2)),(fairtails1biasedheads2,heads(c2)),(biasedheads1biasedheads2,heads(c2)),(biasedtails1biasedheads2,heads(c2))],[(fairheads1biasedtails2,tails(c2)),(fairtails1biasedtails2,tails(c2)),(biasedheads1biasedtails2,tails(c2)),(biasedtails1biasedtails2,tails(c2))]]],(heads(c2):0.6 or tails(c2):0.39999999999999997:-toss(c2),biased(c2))).
rule(22,[pos(8),[[(fairheads1fairheads2,heads(c2)),(fairtails1fairheads2,heads(c2)),(biasedheads1fairheads2,heads(c2)),(biasedtails1fairheads2,heads(c2))],[(fairheads1fairtails2,tails(c2)),(fairtails1fairtails2,tails(c2)),(biasedheads1fairtails2,tails(c2)),(biasedtails1fairtails2,tails(c2))]]],(heads(c2):0.5 or tails(c2):0.5:-toss(c2),fair(c2))).
rule(23,[pos(8),[[(fairheads1biasedtails2,biased(c2)),(fairtails1biasedtails2,biased(c2)),(biasedheads1biasedtails2,biased(c2)),(biasedtails1biasedtails2,biased(c2))],[(fairheads1fairtails2,fair(c2)),(fairtails1fairtails2,fair(c2)),(biasedheads1fairtails2,fair(c2)),(biasedtails1fairtails2,fair(c2))]]],(biased(c2):0.08163265306122447 or fair(c2):0.9183673469387755:-toss(c2),tails(c2))).
rule(24,[pos(8),[[(fairheads1biasedheads2,heads(c2)),(fairtails1biasedheads2,heads(c2)),(biasedheads1biasedheads2,heads(c2)),(biasedtails1biasedheads2,heads(c2))],[(fairheads1biasedtails2,tails(c2)),(fairtails1biasedtails2,tails(c2)),(biasedheads1biasedtails2,tails(c2)),(biasedtails1biasedtails2,tails(c2))]]],(heads(c2):0.6 or tails(c2):0.39999999999999997:-biased(c2),toss(c2))).
rule(25,[pos(8),[[(fairheads1fairheads2,heads(c2)),(fairtails1fairheads2,heads(c2)),(biasedheads1fairheads2,heads(c2)),(biasedtails1fairheads2,heads(c2))],[(fairheads1fairtails2,tails(c2)),(fairtails1fairtails2,tails(c2)),(biasedheads1fairtails2,tails(c2)),(biasedtails1fairtails2,tails(c2))]]],(heads(c2):0.5 or tails(c2):0.5:-fair(c2),toss(c2))).
rule(26,[pos(8),[[(fairheads1biasedtails2,biased(c2)),(fairtails1biasedtails2,biased(c2)),(biasedheads1biasedtails2,biased(c2)),(biasedtails1biasedtails2,biased(c2))],[(fairheads1fairtails2,fair(c2)),(fairtails1fairtails2,fair(c2)),(biasedheads1fairtails2,fair(c2)),(biasedtails1fairtails2,fair(c2))]]],(biased(c2):0.08163265306122447 or fair(c2):0.9183673469387755:-tails(c2),toss(c2))).
rule(1,(biased(c1):0.09999999999999998 or fair(c1):0.8999999999999999:-true)).
rule(2,(heads(c1):0.51 or tails(c1):0.49:-true)).
rule(3,(biased(c1):0.09999999999999998 or fair(c1):0.8999999999999999:-toss(c1))).
rule(4,(heads(c1):0.51 or tails(c1):0.49:-toss(c1))).
rule(5,(heads(c1):0.6 or tails(c1):0.39999999999999997:-biased(c1))).
rule(6,(heads(c1):0.5 or tails(c1):0.5:-fair(c1))).
rule(7,(biased(c1):0.08163265306122447 or fair(c1):0.9183673469387755:-tails(c1))).
rule(8,(heads(c1):0.6 or tails(c1):0.39999999999999997:-toss(c1),biased(c1))).
rule(9,(heads(c1):0.5 or tails(c1):0.5:-toss(c1),fair(c1))).
rule(10,(biased(c1):0.08163265306122447 or fair(c1):0.9183673469387755:-toss(c1),tails(c1))).
rule(11,(heads(c1):0.6 or tails(c1):0.39999999999999997:-biased(c1),toss(c1))).
rule(12,(heads(c1):0.5 or tails(c1):0.5:-fair(c1),toss(c1))).
rule(13,(biased(c1):0.08163265306122447 or fair(c1):0.9183673469387755:-tails(c1),toss(c1))).
rule(14,(biased(c2):0.09999999999999998 or fair(c2):0.8999999999999999:-true)).
rule(15,(heads(c2):0.51 or tails(c2):0.49:-true)).
rule(16,(biased(c2):0.09999999999999998 or fair(c2):0.8999999999999999:-toss(c2))).
rule(17,(heads(c2):0.51 or tails(c2):0.49:-toss(c2))).
rule(18,(heads(c2):0.6 or tails(c2):0.39999999999999997:-biased(c2))).
rule(19,(heads(c2):0.5 or tails(c2):0.5:-fair(c2))).
rule(20,(biased(c2):0.08163265306122447 or fair(c2):0.9183673469387755:-tails(c2))).
rule(21,(heads(c2):0.6 or tails(c2):0.39999999999999997:-toss(c2),biased(c2))).
rule(22,(heads(c2):0.5 or tails(c2):0.5:-toss(c2),fair(c2))).
rule(23,(biased(c2):0.08163265306122447 or fair(c2):0.9183673469387755:-toss(c2),tails(c2))).
rule(24,(heads(c2):0.6 or tails(c2):0.39999999999999997:-biased(c2),toss(c2))).
rule(25,(heads(c2):0.5 or tails(c2):0.5:-fair(c2),toss(c2))).
rule(26,(biased(c2):0.08163265306122447 or fair(c2):0.9183673469387755:-tails(c2),toss(c2))).

biased(A):0.09999999999999998 or fair(A):0.8999999999999999:-toss(A).
heads(A):0.6 or tails(A):0.39999999999999997:-biased(A),toss(A).
heads(A):0.5 or tails(A):0.5:-fair(A),toss(A).