It is almost certain that Daniel got the apple. It is certain that Bernhard is green. It is impossible that Jeff went to the garden. It is improbable that if 'Daniel got the apple' or 'Jeff went to the garden' or both then Winona is a mouse. It is likely that if either 'Daniel got the apple' or 'Bernhard is green' but not both then Sandra took the milk. It is highly unlikely that if 'Daniel got the apple' or 'Jeff went to the garden' or both then Julius is a frog.
It is almost certain that 'Winona is a mouse' or 'Daniel got the apple' or both.
It is almost certain that 'Winona is a mouse' or 'Daniel got the apple' or both.
It is improbable that 'Winona is a mouse' or 'Daniel got 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.95::factA.
  1.0::factB.
  0.0::factC.
  %hop1
  0.1::factX:-or(factA,factC).
  0.7::factY:-xor(factA,factB).
  0.05::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Winona is a mouse' or 'Daniel got the apple' or both.