It is probably not the case that Bernhard is gray. There is a better than even chance that Julius is a frog. It is probably not the case that John went to the garden. It is probably the case that if 'John went to the garden' or 'Bernhard is gray' or both then Sandra put down the milk. It is probable that if 'John went to the garden' or 'Julius is a frog' or both then Mary left the football. It is highly unlikely that if 'Julius is a frog' or 'John went to the garden' or both then Brian is yellow.
It is improbable that 'Bernhard is gray' or 'Mary left the football' or both.
There is a better than even chance that 'Bernhard is gray' or 'Mary left the football' or both.
It is improbable that 'Bernhard is gray' or 'Mary left the football' 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.25::factA.
  0.6::factB.
  0.25::factC.
  %hop1
  0.7::factX:-or(factC,factA).
  0.7::factY:-or(factC,factB).
  0.05::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Bernhard is gray' or 'Mary left the football' or both.