It is certain that Sumit is tired. We doubt that John went to the bedroom. There is little chance that Daniel took the football. It is probably the case that if 'John went to the bedroom and Daniel took the football' then Bernhard is yellow. There is a very good chance that if 'John went to the bedroom and Sumit is tired' then Julius is a swan. It is probably the case that if either 'John went to the bedroom' or 'Daniel took the football' but not both then Lily is a swan.
There is almost no chance that 'Daniel took the football' or 'Sumit is tired' or both.
It is certain that 'Daniel took the football' or 'Sumit is tired' or both.
There is almost no chance that 'Daniel took the football' or 'Sumit is tired' 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
  1.0::factA.
  0.2::factB.
  0.1::factC.
  %hop1
  0.7::factX:-and(factB,factC).
  0.8::factY:-and(factB,factA).
  0.7::factZ:-xor(factB,factC).

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

  query(conclusion).
  
'Daniel took the football' or 'Sumit is tired' or both.