It is improbable that Antoine is hungry. Chances are about even that Greg is green. There is little chance that Mary is in the bathroom. We doubt that if 'Mary is in the bathroom' or 'Greg is green' or both then Lily is a lion. It is improbable that if either 'Mary is in the bathroom' or 'Antoine is hungry' but not both then John dropped the apple. It is probable that if either 'Antoine is hungry' or 'Greg is green' but not both then Julius is yellow.
We doubt that 'Lily is a lion' or 'Antoine is hungry' or both.
We doubt that 'Lily is a lion' or 'Antoine is hungry' or both.
It is probably the case that 'Lily is a lion' or 'Antoine is hungry' 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.1::factA.
  0.5::factB.
  0.1::factC.
  %hop1
  0.2::factX:-or(factC,factB).
  0.1::factY:-xor(factC,factA).
  0.7::factZ:-xor(factA,factB).

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

  query(conclusion).
  
'Lily is a lion' or 'Antoine is hungry' or both.