It is impossible that Julius is yellow. It is highly unlikely that Fred moved to the office. It is impossible that John discarded the apple. It is certain that if 'Fred moved to the office and Julius is yellow' then Antoine is hungry. There is a better than even chance that if 'Fred moved to the office and John discarded the apple' then Bernhard is a frog. We believe that if 'John discarded the apple and Julius is yellow' then Lily is gray.
It is impossible that 'John discarded the apple' or 'Lily is gray' or both.
It is impossible that 'John discarded the apple' or 'Lily is gray' or both.
It is highly likely that 'John discarded the apple' or 'Lily 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.0::factA.
  0.05::factB.
  0.0::factC.
  %hop1
  1.0::factX:-and(factB,factA).
  0.6::factY:-and(factB,factC).
  0.75::factZ:-and(factC,factA).

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

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