There is a better than even chance that Lily is a rhino. It is impossible that Daniel took the milk. There is a better than even chance that Mary went to the office. It is highly unlikely that if 'Daniel took the milk' or 'Mary went to the office' or both then Emily is a sheep. There is little chance that if 'Daniel took the milk' or 'Lily is a rhino' or both then Jessica is a wolf. We believe that if 'Lily is a rhino' or 'Daniel took the milk' or both then Bernhard is gray.
There is little chance that 'Emily is a sheep' or 'Mary went to the office' or both.
There is a better than even chance that 'Emily is a sheep' or 'Mary went to the office' or both.
There is little chance that 'Emily is a sheep' or 'Mary went 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.6::factA.
  0.0::factB.
  0.6::factC.
  %hop1
  0.05::factX:-or(factB,factC).
  0.1::factY:-or(factB,factA).
  0.75::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Emily is a sheep' or 'Mary went to the office' or both.