It is highly unlikely that Brian is white. It is probably the case that John put down the milk. There is a better than even chance that Jessica is a mouse. It is highly likely that if 'Jessica is a mouse and John put down the milk' then Lily is gray. It is almost certain that if either 'Brian is white' or 'John put down the milk' but not both then Mary went to the garden. It is highly unlikely that if 'John put down the milk' or 'Brian is white' or both then Sandra left the apple.
It is probable that 'Mary went to the garden' or 'Lily is gray' or both.
It is probable that 'Mary went to the garden' or 'Lily is gray' or both.
There is little chance that 'Mary went to the garden' or 'Lily is gray' 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.05::factA.
  0.7::factB.
  0.6::factC.
  %hop1
  0.9::factX:-and(factC,factB).
  0.95::factY:-xor(factA,factB).
  0.05::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Mary went to the garden' or 'Lily is gray' or both.