It is probable that Antoine is thirsty. We believe that John went to the hallway. It is certain that Mary dropped the milk. We believe that if 'John went to the hallway and Mary dropped the milk' then Sandra took the football. There is a very good chance that if 'Mary dropped the milk' or 'John went to the hallway' or both then Julius is gray. It is highly likely that if either 'John went to the hallway' or 'Antoine is thirsty' but not both then Bernhard is green.
It is highly likely that 'Antoine is thirsty' or 'Bernhard is green' or both.
It is highly likely that 'Antoine is thirsty' or 'Bernhard is green' or both.
Chances are slight that 'Antoine is thirsty' or 'Bernhard is green' 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.7::factA.
  0.75::factB.
  1.0::factC.
  %hop1
  0.75::factX:-and(factB,factC).
  0.8::factY:-or(factC,factB).
  0.9::factZ:-xor(factB,factA).

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

  query(conclusion).
  
'Antoine is thirsty' or 'Bernhard is green' or both.