We doubt that Julius is a rhino. It is probable that Bernhard is a frog. We believe that John moved to the office. Chances are slight that if 'Julius is a rhino' or 'Bernhard is a frog' or both then Sandra took the football. It is almost certain that if either 'Julius is a rhino' or 'John moved to the office' but not both then Lily is a lion. It is probably the case that if 'Bernhard is a frog and Julius is a rhino' then Greg is yellow.
There is a very good chance that 'Sandra took the football and John moved to the office'.
It is highly unlikely that 'Sandra took the football and John moved to the office'.
There is a very good chance that 'Sandra took the football and John 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.2::factA.
  0.7::factB.
  0.75::factC.
  %hop1
  0.1::factX:-or(factA,factB).
  0.95::factY:-xor(factA,factC).
  0.7::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Sandra took the football and John moved to the office'.