There is little chance that Julius is green. It is improbable that Jeff left the apple. We doubt that John dropped the apple. Chances are about even that if 'Julius is green and Jeff left the apple' then Mary moved to the office. It is probably the case that if either 'Jeff left the apple' or 'Julius is green' but not both then Lily is green. There is almost no chance that if 'Julius is green and John dropped the apple' then Bernhard is a frog.
It is likely that 'Julius is green and Mary moved to the office'.
It is impossible that 'Julius is green and Mary moved to the office'.
It is likely that 'Julius is green and Mary 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.1::factB.
  0.2::factC.
  %hop1
  0.5::factX:-and(factA,factB).
  0.7::factY:-xor(factB,factA).
  0.02::factZ:-and(factA,factC).

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

  query(conclusion).
  
'Julius is green and Mary moved to the office'.