It is probable that Mary went to the garden. There is almost no chance that Lily is a rhino. It is impossible that Greg is a frog. It is certain that if 'Lily is a rhino' or 'Mary went to the garden' or both then Winona is a sheep. It is certain that if 'Mary went to the garden' or 'Greg is a frog' or both then Julius is green. It is impossible that if either 'Greg is a frog' or 'Mary went to the garden' but not both then John got the apple.
It is probably the case that 'Julius is green' or 'Mary went to the garden' or both.
It is probably the case that 'Julius is green' or 'Mary went to the garden' or both.
It is unlikely that 'Julius is green' or 'Mary went to the garden' 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.02::factB.
  0.0::factC.
  %hop1
  1.0::factX:-or(factB,factA).
  1.0::factY:-or(factA,factC).
  0.0::factZ:-xor(factC,factA).

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

  query(conclusion).
  
'Julius is green' or 'Mary went to the garden' or both.