It is certain that Jeff went to the bedroom. There is a very good chance that Antoine is thirsty. Chances are about even that Greg is a frog. Chances are about even that if either 'Jeff went to the bedroom' or 'Antoine is thirsty' but not both then Lily is white. There is almost no chance that if 'Antoine is thirsty and Jeff went to the bedroom' then Mary got the football. It is highly likely that if 'Antoine is thirsty and Greg is a frog' then Bernhard is yellow.
It is highly likely that 'Antoine is thirsty' or 'Lily is white' or both.
It is highly likely that 'Antoine is thirsty' or 'Lily is white' or both.
It is unlikely that 'Antoine is thirsty' or 'Lily is white' 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.5::factC.
  %hop1
  0.5::factX:-xor(factA,factB).
  0.02::factY:-and(factB,factA).
  0.9::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Antoine is thirsty' or 'Lily is white' or both.