We believe that John moved to the garden. It is probable that Mary went to the office. There is a better than even chance that Jeff discarded the milk. It is highly likely that if 'Mary went to the office' or 'John moved to the garden' or both then Bernhard is gray. It is impossible that if either 'Mary went to the office' or 'Jeff discarded the milk' but not both then Julius is a swan. It is almost certain that if 'John moved to the garden' or 'Jeff discarded the milk' or both then Lily is green.
It is almost certain that 'John moved to the garden and Mary went to the office'.
Chances are about even that 'John moved to the garden and Mary went to the office'.
It is almost certain that 'John moved to the garden and Mary went 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.7::factB.
  0.6::factC.
  %hop1
  0.9::factX:-or(factB,factA).
  0.0::factY:-xor(factB,factC).
  0.95::factZ:-or(factA,factC).

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

  query(conclusion).
  
'John moved to the garden and Mary went to the office'.