It is almost certain that Bernhard is a rhino. It is impossible that Julius is white. It is improbable that Lily is a frog. We doubt that if 'Lily is a frog and Bernhard is a rhino' then Gertrude is a cat. It is unlikely that if either 'Julius is white' or 'Bernhard is a rhino' but not both then Greg is green. It is probable that if 'Bernhard is a rhino' or 'Lily is a frog' or both then John dropped the apple.
It is probably the case that 'John dropped the apple' or 'Julius is white' or both.
It is probably the case that 'John dropped the apple' or 'Julius is white' or both.
It is highly unlikely that 'John dropped the apple' or 'Julius is white' 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.95::factA.
  0.0::factB.
  0.1::factC.
  %hop1
  0.2::factX:-and(factC,factA).
  0.2::factY:-xor(factB,factA).
  0.7::factZ:-or(factA,factC).

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

  query(conclusion).
  
'John dropped the apple' or 'Julius is white' or both.