It is highly unlikely that Emily is a wolf. There is a better than even chance that Julius is a lion. It is probable that John discarded the milk. It is certain that if 'Emily is a wolf' or 'John discarded the milk' or both then Sumit is thirsty. We doubt that if 'John discarded the milk' or 'Emily is a wolf' or both then Winona is a mouse. There is almost no chance that if either 'Emily is a wolf' or 'Julius is a lion' but not both then Brian is green.
It is impossible that 'Brian is green and John discarded the milk'.
It is impossible that 'Brian is green and John discarded the milk'.
We believe that 'Brian is green and John discarded the milk'.

  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.05::factA.
  0.6::factB.
  0.7::factC.
  %hop1
  1.0::factX:-or(factA,factC).
  0.2::factY:-or(factC,factA).
  0.02::factZ:-xor(factA,factB).

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

  query(conclusion).
  
'Brian is green and John discarded the milk'.