It is almost certain that Bill went to the kitchen. It is improbable that Bernhard is green. There is a better than even chance that Greg is white. There is almost no chance that if either 'Greg is white' or 'Bernhard is green' but not both then John grabbed the apple. We doubt that if either 'Greg is white' or 'Bill went to the kitchen' but not both then Lily is a frog. It is impossible that if 'Bernhard is green' or 'Greg is white' or both then Sandra left the milk.
Chances are slight that 'Bill went to the kitchen and Bernhard is green'.
Chances are slight that 'Bill went to the kitchen and Bernhard is green'.
It is probable that 'Bill went to the kitchen and Bernhard is green'.

  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.95::factA.
  0.1::factB.
  0.6::factC.
  %hop1
  0.02::factX:-xor(factC,factB).
  0.2::factY:-xor(factC,factA).
  0.0::factZ:-or(factB,factC).

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

  query(conclusion).
  
'Bill went to the kitchen and Bernhard is green'.