It is probably the case that Sumit is hungry. It is improbable that Bernhard is a rhino. It is improbable that Sandra took the apple. It is likely that if either 'Sandra took the apple' or 'Sumit is hungry' but not both then John moved to the office. It is unlikely that if either 'Sumit is hungry' or 'Sandra took the apple' but not both then Lily is a swan. It is likely that if 'Sumit is hungry' or 'Sandra took the apple' or both then Julius is white.
It is probably not the case that 'Sumit is hungry' or 'Lily is a swan' or both.
It is likely that 'Sumit is hungry' or 'Lily is a swan' or both.
It is probably not the case that 'Sumit is hungry' or 'Lily is a swan' 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.7::factX:-xor(factC,factA).
  0.2::factY:-xor(factA,factC).
  0.7::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Sumit is hungry' or 'Lily is a swan' or both.