We believe that Sandra left the milk. We doubt that John went to the kitchen. There is little chance that Mary moved to the office. We doubt that if 'Sandra left the milk' or 'Mary moved to the office' or both then Lily is a lion. It is likely that if 'Mary moved to the office' or 'Sandra left the milk' or both then Julius is yellow. It is probable that if 'Sandra left the milk and Mary moved to the office' then Brian is a swan.
It is likely that 'John went to the kitchen and Lily is a lion'.
There is almost no chance that 'John went to the kitchen and Lily is a lion'.
It is likely that 'John went to the kitchen and Lily is a lion'.

  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.2::factX:-or(factA,factC).
  0.7::factY:-or(factC,factA).
  0.7::factZ:-and(factA,factC).

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

  query(conclusion).
  
'John went to the kitchen and Lily is a lion'.