It is highly likely that Emily is a sheep. Chances are slight that Julius is a frog. We believe that Mary moved to the garden. We doubt that if 'Mary moved to the garden' or 'Emily is a sheep' or both then John grabbed the apple. There is a very good chance that if 'Julius is a frog and Mary moved to the garden' then Daniel left the milk. It is impossible that if either 'Mary moved to the garden' or 'Julius is a frog' but not both then Bernhard is green.
There is a very good chance that 'Mary moved to the garden' or 'John grabbed the apple' or both.
There is a very good chance that 'Mary moved to the garden' or 'John grabbed the apple' or both.
There is little chance that 'Mary moved to the garden' or 'John grabbed the apple' 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.9::factA.
  0.1::factB.
  0.75::factC.
  %hop1
  0.2::factX:-or(factC,factA).
  0.8::factY:-and(factB,factC).
  0.0::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'Mary moved to the garden' or 'John grabbed the apple' or both.