There is a better than even chance that Bernhard is white. It is impossible that Julius is a swan. It is impossible that Greg is yellow. There is a better than even chance that if either 'Greg is yellow' or 'Julius is a swan' but not both then Sumit is thirsty. There is a better than even chance that if either 'Greg is yellow' or 'Bernhard is white' but not both then John put down the apple. It is probable that if 'Greg is yellow' or 'Bernhard is white' or both then Winona is a wolf.
It is probably not the case that 'John put down the apple and Bernhard is white'.
It is probably not the case that 'John put down the apple and Bernhard is white'.
It is likely that 'John put down the apple and Bernhard is white'.

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

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

  query(conclusion).
  
'John put down the apple and Bernhard is white'.