There is a very good chance that Julius is a frog. It is probably not the case that Antoine is hungry. It is highly likely that Mary got the football. There is little chance that if 'Antoine is hungry' or 'Mary got the football' or both then Winona is a mouse. There is almost no chance that if 'Antoine is hungry and Mary got the football' then John went to the hallway. There is almost no chance that if 'Mary got the football and Julius is a frog' then Bernhard is a lion.
There is almost no chance that 'Bernhard is a lion and Julius is a frog'.
There is almost no chance that 'Bernhard is a lion and Julius is a frog'.
We believe that 'Bernhard is a lion and Julius is a frog'.

  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.8::factA.
  0.25::factB.
  0.9::factC.
  %hop1
  0.1::factX:-or(factB,factC).
  0.02::factY:-and(factB,factC).
  0.02::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Bernhard is a lion and Julius is a frog'.