It is almost certain that Jeff went to the hallway. It is highly likely that Lily is green. It is probably not the case that Julius is gray. There is a better than even chance that if 'Jeff went to the hallway and Julius is gray' then Emily is a sheep. Chances are about even that if 'Jeff went to the hallway and Julius is gray' then Mary left the football. It is certain that if either 'Jeff went to the hallway' or 'Julius is gray' but not both then Bernhard is white.
Chances are slight that 'Mary left the football and Jeff went to the hallway'.
Chances are slight that 'Mary left the football and Jeff went to the hallway'.
It is highly likely that 'Mary left the football and Jeff went to the hallway'.

  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.9::factB.
  0.25::factC.
  %hop1
  0.6::factX:-and(factA,factC).
  0.5::factY:-and(factA,factC).
  1.0::factZ:-xor(factA,factC).

  %hop2
  conclusion:-and(factY,factA).

  query(conclusion).
  
'Mary left the football and Jeff went to the hallway'.