We believe that Fred went to the garden. It is probably the case that Julius is white. It is unlikely that Gertrude is a sheep. It is probably the case that if 'Fred went to the garden' or 'Gertrude is a sheep' or both then Brian is a frog. It is certain that if either 'Julius is white' or 'Fred went to the garden' but not both then Daniel dropped the apple. It is improbable that if 'Julius is white and Fred went to the garden' then Greg is a lion.
It is almost certain that 'Fred went to the garden' or 'Julius is white' or both.
It is almost certain that 'Fred went to the garden' or 'Julius is white' or both.
It is improbable that 'Fred went to the garden' or 'Julius is white' 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.7::factB.
  0.2::factC.
  %hop1
  0.7::factX:-or(factA,factC).
  1.0::factY:-xor(factB,factA).
  0.1::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Fred went to the garden' or 'Julius is white' or both.