There is a better than even chance that John picked up the apple. It is highly likely that Brian is a swan. It is highly likely that Jeff moved to the garden. It is certain that if 'John picked up the apple' or 'Jeff moved to the garden' or both then Emily is a sheep. It is probably not the case that if 'Brian is a swan' or 'Jeff moved to the garden' or both then Daniel got the football. It is improbable that if 'John picked up the apple' or 'Jeff moved to the garden' or both then Mary went to the kitchen.
It is probably not the case that 'Daniel got the football and Emily is a sheep'.
It is probably not the case that 'Daniel got the football and Emily is a sheep'.
It is likely that 'Daniel got the football and Emily is a sheep'.

  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.6::factA.
  0.9::factB.
  0.9::factC.
  %hop1
  1.0::factX:-or(factA,factC).
  0.25::factY:-or(factB,factC).
  0.1::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Daniel got the football and Emily is a sheep'.