There is a very good chance that Greg is yellow. It is probable that Sandra got the milk. Chances are about even that Winona is a wolf. It is unlikely that if 'Sandra got the milk and Greg is yellow' then Brian is yellow. There is a better than even chance that if either 'Sandra got the milk' or 'Greg is yellow' but not both then Jeff moved to the garden. It is certain that if 'Winona is a wolf' or 'Greg is yellow' or both then Julius is white.
It is likely that 'Julius is white and Jeff moved to the garden'.
We doubt that 'Julius is white and Jeff moved to the garden'.
It is likely that 'Julius is white and Jeff moved to the garden'.

  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.8::factA.
  0.7::factB.
  0.5::factC.
  %hop1
  0.2::factX:-and(factB,factA).
  0.6::factY:-xor(factB,factA).
  1.0::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Julius is white and Jeff moved to the garden'.