It is probably not the case that Lily is white. There is a very good chance that Emily is a wolf. It is probable that Julius is gray. It is impossible that if either 'Emily is a wolf' or 'Julius is gray' but not both then Brian is yellow. It is improbable that if either 'Julius is gray' or 'Lily is white' but not both then Mary moved to the office. It is highly unlikely that if either 'Julius is gray' or 'Lily is white' but not both then John went to the hallway.
Chances are about even that 'Brian is yellow and John went to the hallway'.
It is impossible that 'Brian is yellow and John went to the hallway'.
Chances are about even that 'Brian is yellow and John went to the hallway'.

  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.25::factA.
  0.8::factB.
  0.7::factC.
  %hop1
  0.0::factX:-xor(factB,factC).
  0.1::factY:-xor(factC,factA).
  0.05::factZ:-xor(factC,factA).

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

  query(conclusion).
  
'Brian is yellow and John went to the hallway'.