Chances are slight that Daniel left the football. It is probably the case that Mary moved to the office. We believe that Brian is yellow. It is almost certain that if either 'Daniel left the football' or 'Mary moved to the office' but not both then Julius is white. It is impossible that if 'Mary moved to the office' or 'Brian is yellow' or both then Jessica is a cat. There is a better than even chance that if either 'Brian is yellow' or 'Mary moved to the office' but not both then Bernhard is green.
We believe that 'Brian is yellow' or 'Jessica is a cat' or both.
We believe that 'Brian is yellow' or 'Jessica is a cat' or both.
Chances are slight that 'Brian is yellow' or 'Jessica is a cat' 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.1::factA.
  0.7::factB.
  0.75::factC.
  %hop1
  0.95::factX:-xor(factA,factB).
  0.0::factY:-or(factB,factC).
  0.6::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'Brian is yellow' or 'Jessica is a cat' or both.