We believe that Julius is yellow. It is probably not the case that Mary went to the bedroom. It is probably not the case that John picked up the milk. We believe that if either 'John picked up the milk' or 'Julius is yellow' but not both then Greg is gray. It is unlikely that if 'Julius is yellow and John picked up the milk' then Brian is a swan. There is a better than even chance that if either 'John picked up the milk' or 'Julius is yellow' but not both then Bernhard is green.
It is almost certain that 'Julius is yellow and Bernhard is green'.
It is probably not the case that 'Julius is yellow and Bernhard is green'.
It is almost certain that 'Julius is yellow and Bernhard is green'.

  and(A,B) :- A,B.
  or(A,B) :- A;B.
  nand(A,B) :- not(and(A,B)).
  nor(A,B) :- not(or(A,B)).
  xor(A,B) :- or(A,B), nand(A,B).

  %hop0
  0.75::factA.
  0.25::factB.
  0.25::factC.
  %hop1
  0.75::factX:-xor(factC,factA).
  0.2::factY:-and(factA,factC).
  0.6::factZ:-xor(factC,factA).

  %hop2
  conclusion:-and(factA,factZ).

  query(conclusion).
  
'Julius is yellow and Bernhard is green'.