It is highly likely that Jeff moved to the office. Chances are slight that Julius is gray. It is certain that Mary went to the kitchen. It is almost certain that if 'Jeff moved to the office and Mary went to the kitchen' then Daniel left the football. There is little chance that if either 'Julius is gray' or 'Mary went to the kitchen' but not both then Greg is a swan. We doubt that if 'Julius is gray and Jeff moved to the office' then Lily is a lion.
There is almost no chance that 'Lily is a lion and Mary went to the kitchen'.
There is almost no chance that 'Lily is a lion and Mary went to the kitchen'.
It is certain that 'Lily is a lion and Mary went to the kitchen'.

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

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

  query(conclusion).
  
'Lily is a lion and Mary went to the kitchen'.