It is probably the case that Brian is a rhino. It is probably not the case that Bill went to the garden. There is little chance that Julius is white. We doubt that if 'Julius is white and Bill went to the garden' then Bernhard is a frog. There is little chance that if either 'Bill went to the garden' or 'Brian is a rhino' but not both then John dropped the milk. Chances are slight that if 'Bill went to the garden' or 'Brian is a rhino' or both then Mary left the football.
There is a very good chance that 'Bill went to the garden' or 'Brian is a rhino' or both.
There is a very good chance that 'Bill went to the garden' or 'Brian is a rhino' or both.
It is probably not the case that 'Bill went to the garden' or 'Brian is a rhino' 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.1::factC.
  %hop1
  0.2::factX:-and(factC,factB).
  0.1::factY:-xor(factB,factA).
  0.1::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Bill went to the garden' or 'Brian is a rhino' or both.