There is little chance that Daniel got the milk. It is almost certain that Bill moved to the office. There is a very good chance that Sandra left the football. There is a better than even chance that if either 'Daniel got the milk' or 'Bill moved to the office' but not both then Mary dropped the apple. There is almost no chance that if either 'Bill moved to the office' or 'Sandra left the football' but not both then Lily is a swan. There is little chance that if 'Sandra left the football and Bill moved to the office' then Brian is a lion.
There is little chance that 'Brian is a lion and Bill moved to the office'.
There is little chance that 'Brian is a lion and Bill moved to the office'.
It is almost certain that 'Brian is a lion and Bill moved 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.
  0.95::factB.
  0.8::factC.
  %hop1
  0.6::factX:-xor(factA,factB).
  0.02::factY:-xor(factB,factC).
  0.1::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Brian is a lion and Bill moved to the office'.