There is a very good chance that Mary went to the office. It is probable that Antoine is bored. It is highly likely that Julius is green. It is probable that if 'Julius is green' or 'Mary went to the office' or both then Lily is a swan. It is certain that if 'Mary went to the office' or 'Antoine is bored' or both then Emily is a mouse. It is highly likely that if 'Julius is green and Antoine is bored' then Sandra left the milk.
Chances are slight that 'Julius is green and Lily is a swan'.
There is a better than even chance that 'Julius is green and Lily is a swan'.
Chances are slight that 'Julius is green and Lily is a swan'.

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

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

  query(conclusion).
  
'Julius is green and Lily is a swan'.