There is little chance that Winona is a cat. It is impossible that Mary took the football. It is highly unlikely that Greg is green. There is almost no chance that if 'Mary took the football' or 'Greg is green' or both then Lily is a rhino. It is probable that if either 'Winona is a cat' or 'Greg is green' but not both then Bernhard is a frog. It is certain that if 'Mary took the football and Winona is a cat' then Julius is white.
It is impossible that 'Julius is white and Mary took the football'.
It is impossible that 'Julius is white and Mary took the football'.
Chances are about even that 'Julius is white and Mary took the football'.

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

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

  query(conclusion).
  
'Julius is white and Mary took the football'.