Chances are slight that Daniel grabbed the milk. It is almost certain that Julius is gray. There is little chance that Lily is yellow. It is impossible that if 'Daniel grabbed the milk' or 'Lily is yellow' or both then Jessica is a mouse. We doubt that if 'Daniel grabbed the milk and Julius is gray' then Mary went to the kitchen. It is likely that if 'Lily is yellow' or 'Julius is gray' or both then Bernhard is white.
It is unlikely that 'Bernhard is white' or 'Jessica is a mouse' or both.
It is probably the case that 'Bernhard is white' or 'Jessica is a mouse' or both.
It is unlikely that 'Bernhard is white' or 'Jessica is a mouse' 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.95::factB.
  0.1::factC.
  %hop1
  0.0::factX:-or(factA,factC).
  0.2::factY:-and(factA,factB).
  0.7::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Bernhard is white' or 'Jessica is a mouse' or both.