It is highly likely that Sandra grabbed the apple. It is certain that Mary took the football. It is highly likely that Jason is tired. It is impossible that if either 'Jason is tired' or 'Sandra grabbed the apple' but not both then Greg is a rhino. There is little chance that if 'Mary took the football and Sandra grabbed the apple' then Julius is a swan. It is improbable that if either 'Jason is tired' or 'Mary took the football' but not both then Jessica is a mouse.
It is improbable that 'Mary took the football and Julius is a swan'.
It is improbable that 'Mary took the football and Julius is a swan'.
It is likely that 'Mary took the football and Julius is a swan'.

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

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

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