It is certain that John got the apple. There is almost no chance that Greg is a rhino. There is little chance that Mary left the football. Chances are slight that if 'Greg is a rhino' or 'John got the apple' or both then Bernhard is yellow. There is little chance that if 'Mary left the football' or 'John got the apple' or both then Sumit is bored. It is certain that if either 'John got the apple' or 'Mary left the football' but not both then Bill went to the kitchen.
It is highly likely that 'Sumit is bored and Bill went to the kitchen'.
It is improbable that 'Sumit is bored and Bill went to the kitchen'.
It is highly likely that 'Sumit is bored and Bill went to the kitchen'.

  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
  1.0::factA.
  0.02::factB.
  0.1::factC.
  %hop1
  0.1::factX:-or(factB,factA).
  0.1::factY:-or(factC,factA).
  1.0::factZ:-xor(factA,factC).

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

  query(conclusion).
  
'Sumit is bored and Bill went to the kitchen'.