There is a very good chance that Sumit is thirsty. It is probably the case that Lily is a swan. We believe that Mary discarded the apple. It is highly likely that if either 'Lily is a swan' or 'Sumit is thirsty' but not both then Emily is a wolf. There is a better than even chance that if either 'Lily is a swan' or 'Mary discarded the apple' but not both then Julius is green. It is improbable that if 'Lily is a swan and Sumit is thirsty' then Bill went to the garden.
There is a very good chance that 'Sumit is thirsty' or 'Bill went to the garden' or both.
There is a very good chance that 'Sumit is thirsty' or 'Bill went to the garden' or both.
It is probably not the case that 'Sumit is thirsty' or 'Bill went to the garden' 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.8::factA.
  0.7::factB.
  0.75::factC.
  %hop1
  0.9::factX:-xor(factB,factA).
  0.6::factY:-xor(factB,factC).
  0.1::factZ:-and(factB,factA).

  %hop2
  conclusion:-or(factA,factZ).

  query(conclusion).
  
'Sumit is thirsty' or 'Bill went to the garden' or both.