There is a very good chance that Mary went to the garden. There is a better than even chance that John took the football. It is almost certain that Brian is yellow. It is improbable that if 'Brian is yellow' or 'Mary went to the garden' or both then Greg is white. It is highly likely that if 'Mary went to the garden' or 'Brian is yellow' or both then Winona is a mouse. There is a very good chance that if 'Mary went to the garden and Brian is yellow' then Bernhard is green.
It is improbable that 'Bernhard is green' or 'Winona is a mouse' or both.
It is almost certain that 'Bernhard is green' or 'Winona is a mouse' or both.
It is improbable that 'Bernhard is green' or 'Winona is a mouse' 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.8::factA.
  0.6::factB.
  0.95::factC.
  %hop1
  0.1::factX:-or(factC,factA).
  0.9::factY:-or(factA,factC).
  0.8::factZ:-and(factA,factC).

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

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