There is a better than even chance that Jeff went to the bedroom. It is improbable that Sandra grabbed the apple. It is improbable that Antoine is thirsty. It is probably not the case that if 'Sandra grabbed the apple and Jeff went to the bedroom' then Julius is gray. It is highly unlikely that if 'Jeff went to the bedroom' or 'Antoine is thirsty' or both then Mary moved to the office. It is certain that if 'Sandra grabbed the apple and Jeff went to the bedroom' then Greg is a swan.
There is almost no chance that 'Mary moved to the office and Jeff went to the bedroom'.
There is almost no chance that 'Mary moved to the office and Jeff went to the bedroom'.
It is highly likely that 'Mary moved to the office and Jeff went to the bedroom'.

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

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

  query(conclusion).
  
'Mary moved to the office and Jeff went to the bedroom'.