It is highly unlikely that Brian is a rhino. It is likely that John went to the garden. It is likely that Mary took the milk. We believe that if 'John went to the garden and Mary took the milk' then Julius is a swan. It is certain that if 'Mary took the milk' or 'John went to the garden' or both then Emily is a mouse. There is a very good chance that if 'John went to the garden' or 'Brian is a rhino' or both then Yann is hungry.
It is improbable that 'John went to the garden' or 'Yann is hungry' or both.
It is probably the case that 'John went to the garden' or 'Yann is hungry' or both.
It is improbable that 'John went to the garden' or 'Yann is hungry' 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.05::factA.
  0.7::factB.
  0.7::factC.
  %hop1
  0.75::factX:-and(factB,factC).
  1.0::factY:-or(factC,factB).
  0.8::factZ:-or(factB,factA).

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

  query(conclusion).
  
'John went to the garden' or 'Yann is hungry' or both.