It is probably not the case that Bernhard is green. It is highly likely that John dropped the milk. It is almost certain that Greg is a rhino. It is improbable that if 'John dropped the milk and Bernhard is green' then Winona is a mouse. We doubt that if 'Greg is a rhino' or 'Bernhard is green' or both then Julius is yellow. It is likely that if 'Greg is a rhino and Bernhard is green' then Mary went to the hallway.
It is almost certain that 'Bernhard is green' or 'John dropped the milk' or both.
It is almost certain that 'Bernhard is green' or 'John dropped the milk' or both.
Chances are about even that 'Bernhard is green' or 'John dropped the milk' 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.25::factA.
  0.9::factB.
  0.95::factC.
  %hop1
  0.1::factX:-and(factB,factA).
  0.2::factY:-or(factC,factA).
  0.7::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Bernhard is green' or 'John dropped the milk' or both.