It is almost certain that Antoine is hungry. We doubt that Lily is green. It is certain that John went to the bedroom. Chances are about even that if either 'Lily is green' or 'Antoine is hungry' but not both then Sandra dropped the milk. It is highly likely that if 'Antoine is hungry and John went to the bedroom' then Brian is a frog. It is probably the case that if 'John went to the bedroom' or 'Lily is green' or both then Mary picked up the apple.
It is highly likely that 'Lily is green' or 'Brian is a frog' or both.
It is highly likely that 'Lily is green' or 'Brian is a frog' or both.
It is improbable that 'Lily is green' or 'Brian is a frog' 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.95::factA.
  0.2::factB.
  1.0::factC.
  %hop1
  0.5::factX:-xor(factB,factA).
  0.9::factY:-and(factA,factC).
  0.7::factZ:-or(factC,factB).

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

  query(conclusion).
  
'Lily is green' or 'Brian is a frog' or both.