It is probable that Bernhard is a rhino. It is improbable that Fred is in the cinema. There is a better than even chance that Julius is green. There is almost no chance that if 'Julius is green and Fred is in the cinema' then Brian is yellow. Chances are slight that if either 'Julius is green' or 'Fred is in the cinema' but not both then Bill left the football. It is highly likely that if either 'Fred is in the cinema' or 'Bernhard is a rhino' but not both then Lily is a lion.
It is probably the case that 'Bill left the football and Fred is in the cinema'.
It is impossible that 'Bill left the football and Fred is in the cinema'.
It is probably the case that 'Bill left the football and Fred is in the cinema'.

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

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

  query(conclusion).
  
'Bill left the football and Fred is in the cinema'.