It is improbable that Emily is a mouse. It is certain that Mary went to the office. It is probably not the case that Jessica is a wolf. It is probable that if 'Mary went to the office and Emily is a mouse' then Julius is a swan. There is a better than even chance that if either 'Jessica is a wolf' or 'Mary went to the office' but not both then Bernhard is white. There is a better than even chance that if 'Jessica is a wolf' or 'Emily is a mouse' or both then Bill left the milk.
We doubt that 'Bill left the milk and Mary went to the office'.
We doubt that 'Bill left the milk and Mary went to the office'.
It is highly likely that 'Bill left the milk and Mary went to the office'.

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

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

  query(conclusion).
  
'Bill left the milk and Mary went to the office'.