It is probable that Lily is white. It is highly likely that Sumit is thirsty. There is a better than even chance that Mary went to the hallway. We believe that if 'Mary went to the hallway' or 'Lily is white' or both then Yann is tired. It is probable that if either 'Mary went to the hallway' or 'Sumit is thirsty' but not both then Bernhard is gray. It is probable that if either 'Lily is white' or 'Mary went to the hallway' but not both then John got the milk.
It is improbable that 'Sumit is thirsty' or 'Lily is white' or both.
It is almost certain that 'Sumit is thirsty' or 'Lily is white' or both.
It is improbable that 'Sumit is thirsty' or 'Lily is white' 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.7::factA.
  0.9::factB.
  0.6::factC.
  %hop1
  0.75::factX:-or(factC,factA).
  0.7::factY:-xor(factC,factB).
  0.7::factZ:-xor(factA,factC).

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

  query(conclusion).
  
'Sumit is thirsty' or 'Lily is white' or both.