There is a better than even chance that John went to the garden. There is a better than even chance that Greg is a rhino. It is highly unlikely that Bernhard is white. We doubt that if 'John went to the garden' or 'Greg is a rhino' or both then Julius is yellow. There is little chance that if either 'John went to the garden' or 'Bernhard is white' but not both then Mary grabbed the apple. There is a better than even chance that if 'John went to the garden and Greg is a rhino' then Emily is a mouse.
It is likely that 'Emily is a mouse' or 'Julius is yellow' or both.
It is probably not the case that 'Emily is a mouse' or 'Julius is yellow' or both.
It is likely that 'Emily is a mouse' or 'Julius is yellow' or both.

  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.6::factA.
  0.6::factB.
  0.05::factC.
  %hop1
  0.2::factX:-or(factA,factB).
  0.1::factY:-xor(factA,factC).
  0.6::factZ:-and(factA,factB).

  %hop2
  conclusion:-or(factZ,factX).

  query(conclusion).
  
'Emily is a mouse' or 'Julius is yellow' or both.