goal(_1975 pin uniform([w,x,y,z]))
goal(conditional([(1_=a):1/2,(\+1_=a):1-1/2],++,2_=x))
goal(prob(1_==a,_1266))
probed([1_-a,2_-w])-1/12
successful(a==a)
probed([1_-b,2_-w])-1/12
probed([1_-c,2_-w])-1/12
probed([1_-a,2_-x])-1/8
successful(a==a)
probed([1_-b,2_-x])-1/16
probed([1_-c,2_-x])-1/16
probed([1_-a,2_-y])-1/12
successful(a==a)
probed([1_-b,2_-y])-1/12
probed([1_-c,2_-y])-1/12
probed([1_-a,2_-z])-1/12
successful(a==a)
probed([1_-b,2_-z])-1/12
probed([1_-c,2_-z])-1/12

P=3/8 ? ;

+++

goal(conditional([(1_=a):1/2,(\+1_=a):1-1/2],++,2_=x))
goal(conditional([(1_=a):1/2,(\+1_=a):1-1/2],++,2_=x))
goal(prob(1_==a,_1266))
probed([1_-a,2_-w])-1/12
successful(a==a)
probed([1_-b,2_-w])-1/12
probed([1_-c,2_-w])-1/12
probed([1_-a,2_-x])-5/48
successful(a==a)
probed([1_-b,2_-x])-7/96
probed([1_-c,2_-x])-7/96
probed([1_-a,2_-y])-1/12
successful(a==a)
probed([1_-b,2_-y])-1/12
probed([1_-c,2_-y])-1/12
probed([1_-a,2_-z])-1/12
successful(a==a)
probed([1_-b,2_-z])-1/12
probed([1_-c,2_-z])-1/12

P=17/48 ?