It is improbable that Brian is a lion. There is almost no chance that Julius is white. It is probably not the case that Mary got the milk. Chances are slight that if 'Brian is a lion' or 'Mary got the milk' or both then Antoine is hungry. Chances are slight that if 'Brian is a lion and Mary got the milk' then Lily is a frog. It is certain that if 'Julius is white and Mary got the milk' then John moved to the office.
It is probable that 'Julius is white and Mary got the milk'.
It is impossible that 'Julius is white and Mary got the milk'.
It is probable that 'Julius is white and Mary got 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.1::factA.
  0.02::factB.
  0.25::factC.
  %hop1
  0.1::factX:-or(factA,factC).
  0.1::factY:-and(factA,factC).
  1.0::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Julius is white and Mary got the milk'.