There is a better than even chance that Greg is a rhino. It is almost certain that Mary went to the office. It is probable that Bernhard is gray. It is unlikely that if either 'Greg is a rhino' or 'Bernhard is gray' but not both then John grabbed the milk. There is a better than even chance that if 'Bernhard is gray and Mary went to the office' then Lily is yellow. It is likely that if either 'Mary went to the office' or 'Bernhard is gray' but not both then Emily is a wolf.
It is almost certain that 'John grabbed the milk and Greg is a rhino'.
It is highly unlikely that 'John grabbed the milk and Greg is a rhino'.
It is almost certain that 'John grabbed the milk 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.6::factA.
  0.95::factB.
  0.7::factC.
  %hop1
  0.2::factX:-xor(factA,factC).
  0.6::factY:-and(factC,factB).
  0.7::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'John grabbed the milk and Greg is a rhino'.