It is probably the case that Lily is a lion. It is impossible that Brian is white. It is impossible that John dropped the apple. It is unlikely that if 'John dropped the apple and Brian is white' then Jason is bored. There is a better than even chance that if 'Lily is a lion and Brian is white' then Mary picked up the milk. It is impossible that if 'Brian is white' or 'John dropped the apple' or both then Jessica is a cat.
It is likely that 'John dropped the apple' or 'Jason is bored' or both.
It is impossible that 'John dropped the apple' or 'Jason is bored' or both.
It is likely that 'John dropped the apple' or 'Jason is bored' 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.7::factA.
  0.0::factB.
  0.0::factC.
  %hop1
  0.2::factX:-and(factC,factB).
  0.6::factY:-and(factA,factB).
  0.0::factZ:-or(factB,factC).

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

  query(conclusion).
  
'John dropped the apple' or 'Jason is bored' or both.