There is a very good chance that John got the apple. It is certain that Emily is a mouse. It is likely that Sandra dropped the milk. It is probably the case that if either 'John got the apple' or 'Emily is a mouse' but not both then Greg is a lion. It is certain that if 'John got the apple' or 'Sandra dropped the milk' or both then Mary moved to the garden. It is improbable that if 'John got the apple' or 'Sandra dropped the milk' or both then Brian is yellow.
It is almost certain that 'John got the apple' or 'Greg is a lion' or both.
It is almost certain that 'John got the apple' or 'Greg is a lion' or both.
It is improbable that 'John got the apple' or 'Greg is a lion' 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.
  1.0::factB.
  0.7::factC.
  %hop1
  0.7::factX:-xor(factA,factB).
  1.0::factY:-or(factA,factC).
  0.1::factZ:-or(factA,factC).

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

  query(conclusion).
  
'John got the apple' or 'Greg is a lion' or both.