It is probable that Yann is bored. It is probably the case that Jeff moved to the office. There is a very good chance that Bill got the milk there. It is likely that if 'Bill got the milk there and Jeff moved to the office' then Brian is a rhino. It is improbable that if 'Bill got the milk there and Jeff moved to the office' then Daniel dropped the apple. It is probable that if 'Yann is bored' or 'Jeff moved to the office' or both then Lily is a swan.
Chances are about even that 'Jeff moved to the office and Yann is bored'.
Chances are about even that 'Jeff moved to the office and Yann is bored'.
It is impossible that 'Jeff moved to the office and Yann is bored'.

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

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

  query(conclusion).
  
'Jeff moved to the office and Yann is bored'.