It is probable that Bill went to the garden. There is little chance that John left the football. It is probably not the case that Lily is green. It is probably the case that if 'John left the football' or 'Bill went to the garden' or both then Gertrude is a sheep. We believe that if 'Lily is green' or 'Bill went to the garden' or both then Brian is a rhino. It is highly likely that if 'Lily is green and Bill went to the garden' then Winona is a mouse.
It is probably not the case that 'Winona is a mouse' or 'Lily is green' or both.
It is probably not the case that 'Winona is a mouse' or 'Lily is green' or both.
It is probable that 'Winona is a mouse' or 'Lily 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.
  0.1::factB.
  0.25::factC.
  %hop1
  0.7::factX:-or(factB,factA).
  0.75::factY:-or(factC,factA).
  0.9::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Winona is a mouse' or 'Lily is green' or both.