There is a better than even chance that Julius is a lion. It is likely that Brian is white. It is certain that Mary went to the garden. It is highly likely that if 'Brian is white' or 'Mary went to the garden' or both then John discarded the milk. It is unlikely that if 'Mary went to the garden and Julius is a lion' then Antoine is thirsty. It is probable that if 'Mary went to the garden' or 'Julius is a lion' or both then Lily is green.
It is almost certain that 'Julius is a lion' or 'John discarded the milk' or both.
It is almost certain that 'Julius is a lion' or 'John discarded the milk' or both.
It is unlikely that 'Julius is a lion' or 'John discarded the milk' 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.6::factA.
  0.7::factB.
  1.0::factC.
  %hop1
  0.9::factX:-or(factB,factC).
  0.2::factY:-and(factC,factA).
  0.7::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Julius is a lion' or 'John discarded the milk' or both.