There is almost no chance that Mary took the milk. It is likely that Fred put down the apple. There is a better than even chance that Bernhard is a rhino. We doubt that if 'Mary took the milk and Bernhard is a rhino' then Lily is green. Chances are about even that if 'Fred put down the apple and Bernhard is a rhino' then Jeff moved to the office. It is certain that if 'Bernhard is a rhino' or 'Mary took the milk' or both then Winona is a cat.
It is certain that 'Fred put down the apple and Mary took the milk'.
There is almost no chance that 'Fred put down the apple and Mary took the milk'.
It is certain that 'Fred put down the apple and Mary 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.02::factA.
  0.7::factB.
  0.6::factC.
  %hop1
  0.2::factX:-and(factA,factC).
  0.5::factY:-and(factB,factC).
  1.0::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Fred put down the apple and Mary took the milk'.