There is little chance that Bernhard is green. We doubt that Jeff left the apple. It is likely that Lily is a rhino. There is a very good chance that if 'Bernhard is green' or 'Lily is a rhino' or both then Emily is a wolf. There is a better than even chance that if 'Lily is a rhino and Bernhard is green' then Mary got the apple. It is highly likely that if 'Jeff left the apple' or 'Lily is a rhino' or both then Greg is a swan.
Chances are about even that 'Jeff left the apple and Mary got the apple'.
It is impossible that 'Jeff left the apple and Mary got the apple'.
Chances are about even that 'Jeff left the apple and Mary got the apple'.

  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.1::factA.
  0.2::factB.
  0.7::factC.
  %hop1
  0.8::factX:-or(factA,factC).
  0.6::factY:-and(factC,factA).
  0.9::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Jeff left the apple and Mary got the apple'.