Chances are slight that Gertrude is a mouse. We believe that Mary dropped the apple. There is a better than even chance that Brian is white. It is certain that if 'Gertrude is a mouse and Brian is white' then Julius is a rhino. Chances are slight that if 'Brian is white and Gertrude is a mouse' then Antoine is hungry. There is a better than even chance that if 'Mary dropped the apple and Brian is white' then John went to the garden.
It is almost certain that 'John went to the garden and Antoine is hungry'.
It is impossible that 'John went to the garden and Antoine is hungry'.
It is almost certain that 'John went to the garden and Antoine is hungry'.

  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.75::factB.
  0.6::factC.
  %hop1
  1.0::factX:-and(factA,factC).
  0.1::factY:-and(factC,factA).
  0.6::factZ:-and(factB,factC).

  %hop2
  conclusion:-and(factZ,factY).

  query(conclusion).
  
'John went to the garden and Antoine is hungry'.