It is impossible that Jessica is a cat. There is almost no chance that John left the football. There is a very good chance that Mary put down the apple. It is impossible that if 'Jessica is a cat and John left the football' then Brian is yellow. It is unlikely that if 'Mary put down the apple and John left the football' then Lily is green. It is certain that if either 'John left the football' or 'Mary put down the apple' but not both then Sumit is tired.
It is likely that 'John left the football and Jessica is a cat'.
It is impossible that 'John left the football and Jessica is a cat'.
It is likely that 'John left the football and Jessica is a cat'.

  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.02::factB.
  0.8::factC.
  %hop1
  0.0::factX:-and(factA,factB).
  0.2::factY:-and(factC,factB).
  1.0::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'John left the football and Jessica is a cat'.