It is certain that Antoine is thirsty. There is a very good chance that John put down the apple. It is likely that Greg is a swan. It is improbable that if 'Greg is a swan' or 'John put down the apple' or both then Mary left the football. There is almost no chance that if 'Antoine is thirsty and John put down the apple' then Lily is a lion. It is improbable that if 'Greg is a swan' or 'John put down the apple' or both then Julius is a rhino.
It is likely that 'Greg is a swan' or 'Lily is a lion' or both.
It is likely that 'Greg is a swan' or 'Lily is a lion' or both.
There is almost no chance that 'Greg is a swan' or 'Lily 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
  1.0::factA.
  0.8::factB.
  0.7::factC.
  %hop1
  0.1::factX:-or(factC,factB).
  0.02::factY:-and(factA,factB).
  0.1::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Greg is a swan' or 'Lily is a lion' or both.