It is impossible that Jessica is a cat. We believe that John put down the apple. Chances are about even that Sandra dropped the milk. It is probably not the case that if either 'Sandra dropped the milk' or 'John put down the apple' but not both then Mary got the milk. There is almost no chance that if 'Jessica is a cat and Sandra dropped the milk' then Julius is yellow. It is unlikely that if 'Sandra dropped the milk' or 'Jessica is a cat' or both then Lily is a frog.
It is certain that 'Jessica is a cat and Lily is a frog'.
It is impossible that 'Jessica is a cat and Lily is a frog'.
It is certain that 'Jessica is a cat and Lily is a frog'.

  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.0::factA.
  0.75::factB.
  0.5::factC.
  %hop1
  0.25::factX:-xor(factC,factB).
  0.02::factY:-and(factA,factC).
  0.2::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Jessica is a cat and Lily is a frog'.