We believe that John moved to the office. It is probably not the case that Mary went to the office. It is impossible that Julius is yellow. We doubt that if 'Julius is yellow and John moved to the office' then Lily is a swan. There is almost no chance that if either 'John moved to the office' or 'Mary went to the office' but not both then Brian is a rhino. It is almost certain that if 'John moved to the office and Julius is yellow' then Greg is white.
It is unlikely that 'John moved to the office and Mary went to the office'.
It is unlikely that 'John moved to the office and Mary went to the office'.
We believe that 'John moved to the office 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.25::factB.
  0.0::factC.
  %hop1
  0.2::factX:-and(factC,factA).
  0.02::factY:-xor(factA,factB).
  0.95::factZ:-and(factA,factC).

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

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