It is almost certain that Julius is white. It is highly likely that Mary went to the bedroom. We believe that John moved to the garden. It is certain that if 'John moved to the garden and Mary went to the bedroom' then Bernhard is a rhino. It is unlikely that if 'John moved to the garden and Mary went to the bedroom' then Lily is green. There is little chance that if 'Mary went to the bedroom' or 'Julius is white' or both then Greg is a frog.
It is highly likely that 'Greg is a frog' or 'Mary went to the bedroom' or both.
It is highly likely that 'Greg is a frog' or 'Mary went to the bedroom' or both.
There is little chance that 'Greg is a frog' or 'Mary went to the bedroom' 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.9::factB.
  0.75::factC.
  %hop1
  1.0::factX:-and(factC,factB).
  0.2::factY:-and(factC,factB).
  0.1::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Greg is a frog' or 'Mary went to the bedroom' or both.