There is a very good chance that Gertrude is a wolf. It is probably the case that John grabbed the apple. It is likely that Bernhard is gray. It is likely that if 'Bernhard is gray and Gertrude is a wolf' then Sandra left the football. We believe that if either 'Bernhard is gray' or 'Gertrude is a wolf' but not both then Lily is yellow. There is a better than even chance that if either 'John grabbed the apple' or 'Gertrude is a wolf' but not both then Brian is a rhino.
It is highly likely that 'Bernhard is gray' or 'John grabbed the apple' or both.
It is highly likely that 'Bernhard is gray' or 'John grabbed the apple' or both.
There is almost no chance that 'Bernhard is gray' or 'John grabbed the apple' 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.8::factA.
  0.7::factB.
  0.7::factC.
  %hop1
  0.7::factX:-and(factC,factA).
  0.75::factY:-xor(factC,factA).
  0.6::factZ:-xor(factB,factA).

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

  query(conclusion).
  
'Bernhard is gray' or 'John grabbed the apple' or both.