It is almost certain that Emily is a mouse. Chances are slight that Lily is green. Chances are slight that Jeff left the apple. It is probably not the case that if 'Jeff left the apple and Lily is green' then John went to the hallway. Chances are slight that if 'Lily is green' or 'Emily is a mouse' or both then Brian is a swan. It is impossible that if 'Emily is a mouse' or 'Jeff left the apple' or both then Mary dropped the apple.
Chances are slight that 'Jeff left the apple' or 'Mary dropped the apple' or both.
Chances are slight that 'Jeff left the apple' or 'Mary dropped the apple' or both.
It is probable that 'Jeff left the apple' or 'Mary dropped the apple' 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.95::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.25::factX:-and(factC,factB).
  0.1::factY:-or(factB,factA).
  0.0::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Jeff left the apple' or 'Mary dropped the apple' or both.