There is little chance that Jason is tired. It is probably the case that Mary dropped the milk. It is impossible that Sandra got the football. It is certain that if 'Jason is tired and Mary dropped the milk' then Julius is yellow. There is a better than even chance that if 'Sandra got the football and Jason is tired' then Greg is a lion. It is certain that if either 'Sandra got the football' or 'Mary dropped the milk' but not both then Brian is white.
It is likely that 'Mary dropped the milk and Sandra got the football'.
It is impossible that 'Mary dropped the milk and Sandra got the football'.
It is likely that 'Mary dropped the milk and Sandra got 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.7::factB.
  0.0::factC.
  %hop1
  1.0::factX:-and(factA,factB).
  0.6::factY:-and(factC,factA).
  1.0::factZ:-xor(factC,factB).

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

  query(conclusion).
  
'Mary dropped the milk and Sandra got the football'.