It is likely that Fred went to the garden. It is certain that Brian is a frog. There is a better than even chance that Greg is green. It is impossible that if 'Fred went to the garden' or 'Greg is green' or both then Lily is a rhino. It is almost certain that if 'Greg is green' or 'Fred went to the garden' or both then Sandra took the football. It is certain that if 'Greg is green' or 'Brian is a frog' or both then Jessica is a mouse.
It is highly likely that 'Fred went to the garden' or 'Greg is green' or both.
It is highly likely that 'Fred went to the garden' or 'Greg is green' or both.
There is almost no chance that 'Fred went to the garden' or 'Greg is green' 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.
  1.0::factB.
  0.6::factC.
  %hop1
  0.0::factX:-or(factA,factC).
  0.95::factY:-or(factC,factA).
  1.0::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Fred went to the garden' or 'Greg is green' or both.