There is a better than even chance that Daniel left the apple. It is probably not the case that Greg is yellow. It is improbable that Lily is green. We believe that if 'Daniel left the apple' or 'Greg is yellow' or both then John went to the bedroom. We doubt that if either 'Lily is green' or 'Daniel left the apple' but not both then Jessica is a cat. There is a very good chance that if 'Greg is yellow' or 'Daniel left the apple' or both then Mary moved to the garden.
There is a very good chance that 'Lily is green' or 'Jessica is a cat' or both.
We doubt that 'Lily is green' or 'Jessica is a cat' or both.
There is a very good chance that 'Lily is green' or 'Jessica is a cat' 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.6::factA.
  0.25::factB.
  0.1::factC.
  %hop1
  0.75::factX:-or(factA,factB).
  0.2::factY:-xor(factC,factA).
  0.8::factZ:-or(factB,factA).

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

  query(conclusion).
  
'Lily is green' or 'Jessica is a cat' or both.