It is unlikely that John went to the garden. It is highly likely that Julius is a rhino. It is likely that Brian is a frog. It is likely that if 'Julius is a rhino and John went to the garden' then Sandra took the football. It is certain that if either 'John went to the garden' or 'Julius is a rhino' but not both then Greg is a lion. We believe that if 'John went to the garden' or 'Julius is a rhino' or both then Winona is a wolf.
It is unlikely that 'John went to the garden' or 'Sandra took the football' or both.
It is unlikely that 'John went to the garden' or 'Sandra took the football' or both.
It is almost certain that 'John went to the garden' or 'Sandra took 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.2::factA.
  0.9::factB.
  0.7::factC.
  %hop1
  0.7::factX:-and(factB,factA).
  1.0::factY:-xor(factA,factB).
  0.75::factZ:-or(factA,factB).

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

  query(conclusion).
  
'John went to the garden' or 'Sandra took the football' or both.