We believe that Daniel took the football. Chances are slight that Brian is gray. It is improbable that Julius is green. It is impossible that if 'Brian is gray and Daniel took the football' then Jessica is a sheep. We doubt that if 'Brian is gray' or 'Daniel took the football' or both then Lily is a swan. There is a very good chance that if either 'Julius is green' or 'Brian is gray' but not both then John moved to the garden.
It is unlikely that 'John moved to the garden' or 'Julius is green' or both.
It is unlikely that 'John moved to the garden' or 'Julius is green' or both.
There is a very good chance that 'John moved to the garden' or 'Julius is green' 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.75::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.0::factX:-and(factB,factA).
  0.2::factY:-or(factB,factA).
  0.8::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'John moved to the garden' or 'Julius is green' or both.