We believe that Jessica is a wolf. We doubt that Sandra took the milk. There is little chance that John went to the garden. It is almost certain that if 'Sandra took the milk and Jessica is a wolf' then Bernhard is a frog. It is probably the case that if either 'Sandra took the milk' or 'Jessica is a wolf' but not both then Mary dropped the apple. It is highly unlikely that if 'John went to the garden' or 'Jessica is a wolf' or both then Julius is white.
It is almost certain that 'Julius is white and Sandra took the milk'.
It is impossible that 'Julius is white and Sandra took the milk'.
It is almost certain that 'Julius is white and Sandra took the milk'.

  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.2::factB.
  0.1::factC.
  %hop1
  0.95::factX:-and(factB,factA).
  0.7::factY:-xor(factB,factA).
  0.05::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Julius is white and Sandra took the milk'.