Chances are slight that Sandra left the milk. We believe that Greg is yellow. It is highly likely that John discarded the apple. Chances are about even that if 'Greg is yellow' or 'John discarded the apple' or both then Gertrude is a sheep. There is a very good chance that if either 'Sandra left the milk' or 'Greg is yellow' but not both then Lily is a rhino. Chances are about even that if 'Greg is yellow and Sandra left the milk' then Mary put down the apple.
We believe that 'Greg is yellow' or 'Lily is a rhino' or both.
We believe that 'Greg is yellow' or 'Lily is a rhino' or both.
It is unlikely that 'Greg is yellow' or 'Lily is a rhino' 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.1::factA.
  0.75::factB.
  0.9::factC.
  %hop1
  0.5::factX:-or(factB,factC).
  0.8::factY:-xor(factA,factB).
  0.5::factZ:-and(factB,factA).

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

  query(conclusion).
  
'Greg is yellow' or 'Lily is a rhino' or both.