Chances are about even that Jason is tired. It is almost certain that Sandra took the football. There is almost no chance that Greg is a rhino. It is highly likely that if 'Jason is tired' or 'Greg is a rhino' or both then Jessica is a cat. It is likely that if either 'Jason is tired' or 'Greg is a rhino' but not both then Lily is a swan. It is improbable that if 'Sandra took the football' or 'Jason is tired' or both then John went to the bedroom.
It is almost certain that 'Sandra took the football' or 'Lily is a swan' or both.
It is almost certain that 'Sandra took the football' or 'Lily is a swan' or both.
It is probably not the case that 'Sandra took the football' or 'Lily is a swan' or both.

  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.5::factA.
  0.95::factB.
  0.02::factC.
  %hop1
  0.9::factX:-or(factA,factC).
  0.7::factY:-xor(factA,factC).
  0.1::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Sandra took the football' or 'Lily is a swan' or both.