It is likely that Mary got the apple. It is highly unlikely that John moved to the office. It is highly likely that Sandra took the football. We believe that if either 'Mary got the apple' or 'John moved to the office' but not both then Lily is a rhino. There is a better than even chance that if 'Sandra took the football and Mary got the apple' then Julius is yellow. It is probable that if 'Sandra took the football and John moved to the office' then Brian is a frog.
It is probably the case that 'Mary got the apple' or 'Brian is a frog' or both.
It is probably the case that 'Mary got the apple' or 'Brian is a frog' or both.
There is almost no chance that 'Mary got the apple' or 'Brian is a frog' 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.05::factB.
  0.9::factC.
  %hop1
  0.75::factX:-xor(factA,factB).
  0.6::factY:-and(factC,factA).
  0.7::factZ:-and(factC,factB).

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

  query(conclusion).
  
'Mary got the apple' or 'Brian is a frog' or both.