It is almost certain that Jessica is a wolf. It is almost certain that Julius is gray. It is probable that Greg is yellow. It is impossible that if either 'Julius is gray' or 'Greg is yellow' but not both then Brian is white. There is a better than even chance that if 'Julius is gray and Jessica is a wolf' then John went to the kitchen. We doubt that if 'Julius is gray and Greg is yellow' then Bernhard is a frog.
Chances are slight that 'Julius is gray and Jessica is a wolf'.
It is highly likely that 'Julius is gray and Jessica is a wolf'.
Chances are slight that 'Julius is gray and Jessica is a wolf'.

  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.95::factB.
  0.7::factC.
  %hop1
  0.0::factX:-xor(factB,factC).
  0.6::factY:-and(factB,factA).
  0.2::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Julius is gray and Jessica is a wolf'.