Execution time 0.210000 seconds. Generated rules
def_rule(1,[pos(4),[fairheads,fairtails,biasedheads,biasedtails]],(toss:-true)).
rule(1,[pos(4),[[(biasedheads,biased),(biasedtails,biased)],[(fairheads,fair),(fairtails,fair)]]],(biased:0.1 or fair:0.9:-true)).
rule(2,[pos(4),[[(fairheads,heads),(biasedheads,heads)],[(fairtails,tails),(biasedtails,tails)]]],(heads:0.51 or tails:0.49:-true)).
rule(3,[pos(4),[[(biasedheads,biased),(biasedtails,biased)],[(fairheads,fair),(fairtails,fair)]]],(biased:0.1 or fair:0.9:-toss)).
rule(4,[pos(4),[[(fairheads,heads),(biasedheads,heads)],[(fairtails,tails),(biasedtails,tails)]]],(heads:0.51 or tails:0.49:-toss)).
rule(5,[pos(2),[[(biasedheads,heads)],[(biasedtails,tails)]]],(heads:0.6 or tails:0.39999999999999997:-biased)).
rule(6,[pos(2),[[(fairheads,heads)],[(fairtails,tails)]]],(heads:0.5 or tails:0.5:-fair)).
rule(7,[pos(2),[[(biasedtails,biased)],[(fairtails,fair)]]],(biased:0.0816326530612245 or fair:0.9183673469387755:-tails)).
rule(8,[pos(2),[[(biasedheads,heads)],[(biasedtails,tails)]]],(heads:0.6 or tails:0.39999999999999997:-toss,biased)).
rule(9,[pos(2),[[(fairheads,heads)],[(fairtails,tails)]]],(heads:0.5 or tails:0.5:-toss,fair)).
rule(10,[pos(2),[[(biasedtails,biased)],[(fairtails,fair)]]],(biased:0.0816326530612245 or fair:0.9183673469387755:-toss,tails)).
rule(11,[pos(2),[[(biasedheads,heads)],[(biasedtails,tails)]]],(heads:0.6 or tails:0.39999999999999997:-biased,toss)).
rule(12,[pos(2),[[(fairheads,heads)],[(fairtails,tails)]]],(heads:0.5 or tails:0.5:-fair,toss)).
rule(13,[pos(2),[[(biasedtails,biased)],[(fairtails,fair)]]],(biased:0.0816326530612245 or fair:0.9183673469387755:-tails,toss)).
rule(1,(biased:0.1 or fair:0.9:-true)).
rule(2,(heads:0.51 or tails:0.49:-true)).
rule(3,(biased:0.1 or fair:0.9:-toss)).
rule(4,(heads:0.51 or tails:0.49:-toss)).
rule(5,(heads:0.6 or tails:0.39999999999999997:-biased)).
rule(6,(heads:0.5 or tails:0.5:-fair)).
rule(7,(biased:0.0816326530612245 or fair:0.9183673469387755:-tails)).
rule(8,(heads:0.6 or tails:0.39999999999999997:-toss,biased)).
rule(9,(heads:0.5 or tails:0.5:-toss,fair)).
rule(10,(biased:0.0816326530612245 or fair:0.9183673469387755:-toss,tails)).
rule(11,(heads:0.6 or tails:0.39999999999999997:-biased,toss)).
rule(12,(heads:0.5 or tails:0.5:-fair,toss)).
rule(13,(biased:0.0816326530612245 or fair:0.9183673469387755:-tails,toss)).

biased:0.1 or fair:0.9:-toss.
heads:0.6 or tails:0.39999999999999997:-biased,toss.
heads:0.5 or tails:0.5:-fair,toss.