It is probable that Jeff discarded the milk. We believe that Antoine is hungry. We believe that John moved to the office. There is almost no chance that if 'Antoine is hungry and John moved to the office' then Mary went to the garden. It is probable that if 'Jeff discarded the milk and John moved to the office' then Jessica is a wolf. It is improbable that if either 'Antoine is hungry' or 'Jeff discarded the milk' but not both then Greg is yellow.
It is unlikely that 'Antoine is hungry' or 'John moved to the office' or both.
It is almost certain that 'Antoine is hungry' or 'John moved to the office' or both.
It is unlikely that 'Antoine is hungry' or 'John moved to the office' or both.

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

  %hop2
  conclusion:-or(factB,factC).

  query(conclusion).
  
'Antoine is hungry' or 'John moved to the office' or both.