We believe that Mary moved to the garden. There is a better than even chance that Sandra left the football. There is almost no chance that Julius is a swan. It is improbable that if 'Mary moved to the garden and Julius is a swan' then Lily is a frog. It is almost certain that if 'Julius is a swan' or 'Mary moved to the garden' or both then John went to the hallway. It is certain that if 'Sandra left the football and Mary moved to the garden' then Brian is white.
It is highly likely that 'Mary moved to the garden' or 'Sandra left the football' or both.
It is highly likely that 'Mary moved to the garden' or 'Sandra left the football' or both.
It is unlikely that 'Mary moved to the garden' or 'Sandra left the football' 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.75::factA.
  0.6::factB.
  0.02::factC.
  %hop1
  0.1::factX:-and(factA,factC).
  0.95::factY:-or(factC,factA).
  1.0::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Mary moved to the garden' or 'Sandra left the football' or both.