There is little chance that Lily is gray. It is probably not the case that Winona is a mouse. It is likely that Bernhard is yellow. It is highly unlikely that if 'Lily is gray and Bernhard is yellow' then Greg is a frog. It is certain that if 'Lily is gray' or 'Bernhard is yellow' or both then Mary took the football. It is probably not the case that if 'Bernhard is yellow' or 'Lily is gray' or both then Brian is green.
It is highly likely that 'Winona is a mouse and Brian is green'.
It is highly unlikely that 'Winona is a mouse and Brian is green'.
It is highly likely that 'Winona is a mouse and Brian is green'.

  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.25::factB.
  0.7::factC.
  %hop1
  0.05::factX:-and(factA,factC).
  1.0::factY:-or(factA,factC).
  0.25::factZ:-or(factC,factA).

  %hop2
  conclusion:-and(factB,factZ).

  query(conclusion).
  
'Winona is a mouse and Brian is green'.