It is probable that Brian is white. It is probably not the case that Fred went to the garden. It is highly unlikely that Sandra left the football. Chances are about even that if 'Sandra left the football' or 'Fred went to the garden' or both then Jason is tired. It is almost certain that if 'Fred went to the garden' or 'Sandra left the football' or both then Greg is a lion. Chances are slight that if 'Sandra left the football and Fred went to the garden' then Bernhard is yellow.
It is probably the case that 'Fred went to the garden' or 'Jason is tired' or both.
It is probably not the case that 'Fred went to the garden' or 'Jason is tired' or both.
It is probably the case that 'Fred went to the garden' or 'Jason is tired' 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.7::factA.
  0.25::factB.
  0.05::factC.
  %hop1
  0.5::factX:-or(factC,factB).
  0.95::factY:-or(factB,factC).
  0.1::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Fred went to the garden' or 'Jason is tired' or both.