It is almost certain that Winona is a sheep. There is a very good chance that Greg is yellow. It is probable that Jason is tired. It is improbable that if 'Jason is tired and Greg is yellow' then Bernhard is gray. It is improbable that if 'Greg is yellow' or 'Winona is a sheep' or both then Brian is green. It is likely that if 'Winona is a sheep' or 'Greg is yellow' or both then Julius is a frog.
It is improbable that 'Julius is a frog' or 'Jason is tired' or both.
It is highly likely that 'Julius is a frog' or 'Jason is tired' or both.
It is improbable that 'Julius is a frog' or 'Jason is tired' 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.95::factA.
  0.8::factB.
  0.7::factC.
  %hop1
  0.1::factX:-and(factC,factB).
  0.1::factY:-or(factB,factA).
  0.7::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Julius is a frog' or 'Jason is tired' or both.