We believe that Brian is a rhino. It is probably the case that Greg is gray. It is highly unlikely that Mary got the football. It is probably not the case that if 'Greg is gray' or 'Mary got the football' or both then Bernhard is white. It is improbable that if 'Mary got the football' or 'Brian is a rhino' or both then Emily is a sheep. We believe that if 'Mary got the football' or 'Brian is a rhino' or both then Lily is green.
It is highly likely that 'Bernhard is white' or 'Emily is a sheep' or both.
It is probably not the case that 'Bernhard is white' or 'Emily is a sheep' or both.
It is highly likely that 'Bernhard is white' or 'Emily is a sheep' 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.75::factA.
  0.7::factB.
  0.05::factC.
  %hop1
  0.25::factX:-or(factB,factC).
  0.1::factY:-or(factC,factA).
  0.75::factZ:-or(factC,factA).

  %hop2
  conclusion:-or(factX,factY).

  query(conclusion).
  
'Bernhard is white' or 'Emily is a sheep' or both.