Chances are about even that Mary went to the bedroom. It is almost certain that Sumit is thirsty. It is likely that John put down the apple. It is certain that if 'Mary went to the bedroom' or 'Sumit is thirsty' or both then Emily is a mouse. We believe that if 'Mary went to the bedroom' or 'Sumit is thirsty' or both then Brian is yellow. There is a better than even chance that if 'Sumit is thirsty' or 'Mary went to the bedroom' or both then Greg is yellow.
Chances are slight that 'Emily is a mouse' or 'Sumit is thirsty' or both.
It is almost certain that 'Emily is a mouse' or 'Sumit is thirsty' or both.
Chances are slight that 'Emily is a mouse' or 'Sumit is thirsty' 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.7::factC.
  %hop1
  1.0::factX:-or(factA,factB).
  0.75::factY:-or(factA,factB).
  0.6::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Emily is a mouse' or 'Sumit is thirsty' or both.