It is probably not the case that Bernhard is white. It is highly unlikely that Sandra grabbed the apple. Chances are slight that Julius is white. We doubt that if 'Julius is white' or 'Bernhard is white' or both then Winona is a cat. It is likely that if 'Bernhard is white and Sandra grabbed the apple' then Brian is a rhino. We believe that if 'Julius is white' or 'Bernhard is white' or both then Mary went to the garden.
It is probably not the case that 'Bernhard is white' or 'Mary went to the garden' or both.
It is probably not the case that 'Bernhard is white' or 'Mary went to the garden' or both.
We believe that 'Bernhard is white' or 'Mary went to the garden' 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.05::factB.
  0.1::factC.
  %hop1
  0.2::factX:-or(factC,factA).
  0.7::factY:-and(factA,factB).
  0.75::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Bernhard is white' or 'Mary went to the garden' or both.