We believe that Lily is green. It is probably not the case that Brian is a frog. It is improbable that John left the milk. It is highly likely that if 'Lily is green and John left the milk' then Daniel took the football. It is certain that if 'Brian is a frog and John left the milk' then Mary moved to the office. It is probably the case that if either 'Brian is a frog' or 'Lily is green' but not both then Julius is a swan.
It is probably the case that 'Daniel took the football and Mary moved to the office'.
There is almost no chance that 'Daniel took the football and Mary moved to the office'.
It is probably the case that 'Daniel took the football and Mary moved to the office'.

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

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

  query(conclusion).
  
'Daniel took the football and Mary moved to the office'.