We believe that Jessica is a sheep. It is highly likely that John discarded the apple. It is probably the case that Yann is thirsty. It is probable that if 'John discarded the apple' or 'Yann is thirsty' or both then Emily is a mouse. We believe that if 'John discarded the apple and Jessica is a sheep' then Bernhard is gray. It is almost certain that if 'Jessica is a sheep and John discarded the apple' then Mary went to the hallway.
It is highly likely that 'John discarded the apple' or 'Bernhard is gray' or both.
It is highly likely that 'John discarded the apple' or 'Bernhard is gray' or both.
It is unlikely that 'John discarded the apple' or 'Bernhard is gray' 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.9::factB.
  0.7::factC.
  %hop1
  0.7::factX:-or(factB,factC).
  0.75::factY:-and(factB,factA).
  0.95::factZ:-and(factA,factB).

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

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