It is unlikely that Jessica is a mouse. It is highly likely that Lily is green. It is highly likely that Mary took the milk. It is probable that if 'Jessica is a mouse and Mary took the milk' then Julius is white. We believe that if 'Jessica is a mouse and Lily is green' then John went to the bedroom. It is unlikely that if 'Mary took the milk' or 'Lily is green' or both then Greg is yellow.
It is probably the case that 'John went to the bedroom' or 'Julius is white' or both.
We doubt that 'John went to the bedroom' or 'Julius is white' or both.
It is probably the case that 'John went to the bedroom' or 'Julius is white' 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.2::factA.
  0.9::factB.
  0.9::factC.
  %hop1
  0.7::factX:-and(factA,factC).
  0.75::factY:-and(factA,factB).
  0.2::factZ:-or(factC,factB).

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

  query(conclusion).
  
'John went to the bedroom' or 'Julius is white' or both.