We believe that Emily is a wolf. Chances are about even that Bernhard is a lion. There is a better than even chance that Daniel put down the milk. We doubt that if 'Emily is a wolf and Daniel put down the milk' then Brian is a frog. It is certain that if either 'Emily is a wolf' or 'Daniel put down the milk' but not both then Julius is white. It is likely that if 'Emily is a wolf and Bernhard is a lion' then John took the football.
It is likely that 'Daniel put down the milk' or 'John took the football' or both.
It is likely that 'Daniel put down the milk' or 'John took the football' or both.
It is improbable that 'Daniel put down the milk' or 'John took the football' 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.75::factA.
  0.5::factB.
  0.6::factC.
  %hop1
  0.2::factX:-and(factA,factC).
  1.0::factY:-xor(factA,factC).
  0.7::factZ:-and(factA,factB).

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

  query(conclusion).
  
'Daniel put down the milk' or 'John took the football' or both.