We believe that Daniel put down the milk. We believe that Yann is tired. It is probable that Mary picked up the apple. It is probably the case that if 'Yann is tired' or 'Daniel put down the milk' or both then Bernhard is green. It is impossible that if 'Mary picked up the apple and Yann is tired' then John took the football. Chances are slight that if 'Daniel put down the milk and Mary picked up the apple' then Julius is a lion.
It is likely that 'Daniel put down the milk and Julius is a lion'.
It is highly unlikely that 'Daniel put down the milk and Julius is a lion'.
It is likely that 'Daniel put down the milk and Julius is a lion'.

  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.75::factB.
  0.7::factC.
  %hop1
  0.7::factX:-or(factB,factA).
  0.0::factY:-and(factC,factB).
  0.1::factZ:-and(factA,factC).

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

  query(conclusion).
  
'Daniel put down the milk and Julius is a lion'.