It is probably not the case that Brian is green. There is a very good chance that Mary put down the apple. It is almost certain that Winona is a mouse. It is almost certain that if either 'Mary put down the apple' or 'Winona is a mouse' but not both then Bernhard is a frog. It is improbable that if 'Winona is a mouse' or 'Mary put down the apple' or both then Bill left the milk. It is certain that if 'Brian is green' or 'Mary put down the apple' or both then Sandra dropped the milk.
Chances are slight that 'Sandra dropped the milk and Mary put down the apple'.
There is a very good chance that 'Sandra dropped the milk and Mary put down the apple'.
Chances are slight that 'Sandra dropped the milk and Mary put down the apple'.

  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.25::factA.
  0.8::factB.
  0.95::factC.
  %hop1
  0.95::factX:-xor(factB,factC).
  0.1::factY:-or(factC,factB).
  1.0::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Sandra dropped the milk and Mary put down the apple'.