It is impossible that Sumit is bored. There is little chance that John moved to the garden. We doubt that Mary dropped the apple. It is probably not the case that if either 'Sumit is bored' or 'Mary dropped the apple' but not both then Greg is yellow. It is improbable that if either 'Mary dropped the apple' or 'Sumit is bored' but not both then Sandra put down the milk. It is highly likely that if 'Mary dropped the apple and John moved to the garden' then Bernhard is a rhino.
It is probably the case that 'Sandra put down the milk and Sumit is bored'.
It is impossible that 'Sandra put down the milk and Sumit is bored'.
It is probably the case that 'Sandra put down the milk and Sumit is bored'.

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

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

  query(conclusion).
  
'Sandra put down the milk and Sumit is bored'.