There is little chance that Bernhard is a lion. We doubt that Sandra took the milk. It is impossible that Brian is white. It is improbable that if 'Brian is white' or 'Sandra took the milk' or both then Mary moved to the office. We doubt that if 'Sandra took the milk' or 'Brian is white' or both then Greg is yellow. Chances are slight that if 'Sandra took the milk and Bernhard is a lion' then Jeff went to the bedroom.
There is almost no chance that 'Mary moved to the office' or 'Brian is white' or both.
There is almost no chance that 'Mary moved to the office' or 'Brian is white' or both.
It is likely that 'Mary moved to the office' or 'Brian 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.1::factA.
  0.2::factB.
  0.0::factC.
  %hop1
  0.1::factX:-or(factC,factB).
  0.2::factY:-or(factB,factC).
  0.1::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Mary moved to the office' or 'Brian is white' or both.