It is probably the case that Mary went to the kitchen. It is improbable that Lily is a swan. It is improbable that Julius is gray. There is a very good chance that if 'Mary went to the kitchen and Julius is gray' then John grabbed the apple. It is probable that if 'Lily is a swan and Mary went to the kitchen' then Brian is white. It is probably not the case that if 'Mary went to the kitchen and Julius is gray' then Bernhard is yellow.
It is likely that 'Brian is white' or 'Mary went to the kitchen' or both.
It is likely that 'Brian is white' or 'Mary went to the kitchen' or both.
It is probably not the case that 'Brian is white' or 'Mary went to the kitchen' 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.7::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.8::factX:-and(factA,factC).
  0.7::factY:-and(factB,factA).
  0.25::factZ:-and(factA,factC).

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

  query(conclusion).
  
'Brian is white' or 'Mary went to the kitchen' or both.