It is probable that Bernhard is green. It is highly unlikely that Lily is yellow. It is highly unlikely that Mary got the apple. It is unlikely that if 'Mary got the apple and Bernhard is green' then Gertrude is a mouse. It is certain that if 'Mary got the apple and Bernhard is green' then Winona is a cat. There is almost no chance that if 'Mary got the apple' or 'Bernhard is green' or both then John went to the hallway.
There is a better than even chance that 'Mary got the apple and Gertrude is a mouse'.
It is impossible that 'Mary got the apple and Gertrude is a mouse'.
There is a better than even chance that 'Mary got the apple and Gertrude is a mouse'.

  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.7::factA.
  0.05::factB.
  0.05::factC.
  %hop1
  0.2::factX:-and(factC,factA).
  1.0::factY:-and(factC,factA).
  0.02::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Mary got the apple and Gertrude is a mouse'.