There is a better than even chance that Jeff moved to the office. It is highly likely that Sandra got the milk. It is almost certain that Julius is a lion. There is a better than even chance that if 'Jeff moved to the office and Sandra got the milk' then Lily is white. It is impossible that if 'Jeff moved to the office and Sandra got the milk' then Brian is a swan. It is highly likely that if either 'Sandra got the milk' or 'Julius is a lion' but not both then John went to the bedroom.
It is almost certain that 'Lily is white' or 'Julius is a lion' or both.
It is almost certain that 'Lily is white' or 'Julius is a lion' or both.
Chances are slight that 'Lily is white' or 'Julius is a lion' 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.9::factB.
  0.95::factC.
  %hop1
  0.6::factX:-and(factA,factB).
  0.0::factY:-and(factA,factB).
  0.9::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'Lily is white' or 'Julius is a lion' or both.