Chances are about even that Jason is tired. There is little chance that Bernhard is green. We doubt that Lily is a frog. It is probable that if either 'Jason is tired' or 'Bernhard is green' but not both then Daniel left the milk. There is almost no chance that if either 'Jason is tired' or 'Bernhard is green' but not both then John took the apple. It is unlikely that if either 'Lily is a frog' or 'Bernhard is green' but not both then Brian is white.
It is likely that 'John took the apple and Daniel left the milk'.
It is impossible that 'John took the apple and Daniel left the milk'.
It is likely that 'John took the apple and Daniel left the milk'.

  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.1::factB.
  0.2::factC.
  %hop1
  0.7::factX:-xor(factA,factB).
  0.02::factY:-xor(factA,factB).
  0.2::factZ:-xor(factC,factB).

  %hop2
  conclusion:-and(factY,factX).

  query(conclusion).
  
'John took the apple and Daniel left the milk'.