It is probable that Lily is green. It is highly likely that Mary got the football. It is likely that Julius is a lion. Chances are about even that if 'Julius is a lion' or 'Lily is green' or both then Gertrude is a cat. Chances are about even that if 'Mary got the football and Lily is green' then Bernhard is gray. It is likely that if 'Mary got the football' or 'Lily is green' or both then Brian is green.
It is probably not the case that 'Julius is a lion and Gertrude is a cat'.
It is probably not the case that 'Julius is a lion and Gertrude is a cat'.
We believe that 'Julius is a lion and Gertrude is a cat'.

  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.9::factB.
  0.7::factC.
  %hop1
  0.5::factX:-or(factC,factA).
  0.5::factY:-and(factB,factA).
  0.7::factZ:-or(factB,factA).

  %hop2
  conclusion:-and(factC,factX).

  query(conclusion).
  
'Julius is a lion and Gertrude is a cat'.