Chances are slight that Antoine is thirsty. It is probably not the case that Greg is green. We believe that Sandra put down the milk. It is almost certain that if either 'Antoine is thirsty' or 'Sandra put down the milk' but not both then Winona is a cat. It is probably the case that if 'Antoine is thirsty and Greg is green' then Lily is a lion. It is probable that if 'Sandra put down the milk and Antoine is thirsty' then John went to the bedroom.
It is certain that 'Antoine is thirsty and Greg is green'.
There is almost no chance that 'Antoine is thirsty and Greg is green'.
It is certain that 'Antoine is thirsty and Greg is green'.

  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.25::factB.
  0.75::factC.
  %hop1
  0.95::factX:-xor(factA,factC).
  0.7::factY:-and(factA,factB).
  0.7::factZ:-and(factC,factA).

  %hop2
  conclusion:-and(factA,factB).

  query(conclusion).
  
'Antoine is thirsty and Greg is green'.