It is impossible that Sandra left the milk. It is probably not the case that John moved to the office. It is probable that Lily is a rhino. It is almost certain that if 'John moved to the office and Sandra left the milk' then Emily is a mouse. It is highly likely that if either 'Sandra left the milk' or 'John moved to the office' but not both then Fred is in the cinema. It is probable that if 'Lily is a rhino and John moved to the office' then Bernhard is white.
It is probably not the case that 'Sandra left the milk' or 'John moved to the office' or both.
It is probably not the case that 'Sandra left the milk' or 'John moved to the office' or both.
It is highly likely that 'Sandra left the milk' or 'John moved to the office' 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.0::factA.
  0.25::factB.
  0.7::factC.
  %hop1
  0.95::factX:-and(factB,factA).
  0.9::factY:-xor(factA,factB).
  0.7::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Sandra left the milk' or 'John moved to the office' or both.