There is almost no chance that Lily is a lion. It is probably not the case that John moved to the office. It is almost certain that Julius is green. It is improbable that if 'Julius is green' or 'John moved to the office' or both then Gertrude is a sheep. It is almost certain that if either 'Julius is green' or 'Lily is a lion' but not both then Mary dropped the apple. It is impossible that if either 'Lily is a lion' or 'Julius is green' but not both then Winona is a mouse.
We doubt that 'John moved to the office and Mary dropped the apple'.
We doubt that 'John moved to the office and Mary dropped the apple'.
It is almost certain that 'John moved to the office and Mary dropped the apple'.

  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.02::factA.
  0.25::factB.
  0.95::factC.
  %hop1
  0.1::factX:-or(factC,factB).
  0.95::factY:-xor(factC,factA).
  0.0::factZ:-xor(factA,factC).

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

  query(conclusion).
  
'John moved to the office and Mary dropped the apple'.