It is improbable that John got the milk. We believe that Julius is white. Chances are about even that Emily is a wolf. There is a better than even chance that if either 'Emily is a wolf' or 'Julius is white' but not both then Jessica is a mouse. We believe that if 'Emily is a wolf' or 'Julius is white' or both then Bernhard is gray. It is probably not the case that if either 'John got the milk' or 'Emily is a wolf' but not both then Fred is in the school.
There is almost no chance that 'John got the milk and Fred is in the school'.
There is almost no chance that 'John got the milk and Fred is in the school'.
It is probably the case that 'John got the milk and Fred is in the school'.

  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.1::factA.
  0.75::factB.
  0.5::factC.
  %hop1
  0.6::factX:-xor(factC,factB).
  0.75::factY:-or(factC,factB).
  0.25::factZ:-xor(factA,factC).

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

  query(conclusion).
  
'John got the milk and Fred is in the school'.