There is a very good chance that Daniel left the milk. It is impossible that Julius is yellow. We doubt that John got the apple. It is highly likely that if 'Julius is yellow and Daniel left the milk' then Greg is a lion. It is unlikely that if either 'John got the apple' or 'Daniel left the milk' but not both then Brian is green. It is highly unlikely that if either 'Julius is yellow' or 'Daniel left the milk' but not both then Winona is a mouse.
It is probably not the case that 'Brian is green' or 'John got the apple' or both.
It is probably not the case that 'Brian is green' or 'John got the apple' or both.
It is likely that 'Brian is green' or 'John got the apple' or both.

  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.8::factA.
  0.0::factB.
  0.2::factC.
  %hop1
  0.9::factX:-and(factB,factA).
  0.2::factY:-xor(factC,factA).
  0.05::factZ:-xor(factB,factA).

  %hop2
  conclusion:-or(factY,factC).

  query(conclusion).
  
'Brian is green' or 'John got the apple' or both.