Chances are about even that Mary is in the bathroom. It is almost certain that Sumit is tired. It is highly unlikely that Brian is green. It is probably not the case that if 'Mary is in the bathroom and Sumit is tired' then Jessica is a sheep. It is probably not the case that if either 'Sumit is tired' or 'Mary is in the bathroom' but not both then Sandra got the football. It is probable that if either 'Brian is green' or 'Mary is in the bathroom' but not both then Bernhard is yellow.
It is probably not the case that 'Brian is green' or 'Sumit is tired' or both.
It is almost certain that 'Brian is green' or 'Sumit is tired' or both.
It is probably not the case that 'Brian is green' or 'Sumit is tired' 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.05::factC.
  %hop1
  0.25::factX:-and(factA,factB).
  0.25::factY:-xor(factB,factA).
  0.7::factZ:-xor(factC,factA).

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

  query(conclusion).
  
'Brian is green' or 'Sumit is tired' or both.