Chances are slight that Bernhard is a frog. It is almost certain that Jason is tired. It is probable that John went to the bedroom. There is a better than even chance that if 'Jason is tired and John went to the bedroom' then Mary left the apple. We believe that if 'John went to the bedroom and Bernhard is a frog' then Brian is white. It is certain that if 'Jason is tired' or 'Bernhard is a frog' or both then Lily is a swan.
Chances are slight that 'Bernhard is a frog' or 'Lily is a swan' or both.
It is almost certain that 'Bernhard is a frog' or 'Lily is a swan' or both.
Chances are slight that 'Bernhard is a frog' or 'Lily is a swan' 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.1::factA.
  0.95::factB.
  0.7::factC.
  %hop1
  0.6::factX:-and(factB,factC).
  0.75::factY:-and(factC,factA).
  1.0::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Bernhard is a frog' or 'Lily is a swan' or both.