It is likely that John moved to the garden. It is almost certain that Greg is a rhino. There is little chance that Julius is gray. We believe that if either 'John moved to the garden' or 'Julius is gray' but not both then Brian is white. We doubt that if 'Greg is a rhino and Julius is gray' then Mary dropped the milk. It is probably the case that if 'Julius is gray and John moved to the garden' then Bernhard is a swan.
There is little chance that 'Julius is gray and Greg is a rhino'.
There is little chance that 'Julius is gray and Greg is a rhino'.
It is likely that 'Julius is gray and Greg is a rhino'.

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

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

  query(conclusion).
  
'Julius is gray and Greg is a rhino'.