It is almost certain that Sumit is bored. Chances are slight that Brian is a frog. It is probable that Bernhard is yellow. It is impossible that if either 'Sumit is bored' or 'Bernhard is yellow' but not both then John dropped the milk. It is improbable that if either 'Sumit is bored' or 'Bernhard is yellow' but not both then Lily is a frog. It is probably not the case that if 'Brian is a frog' or 'Bernhard is yellow' or both then Mary got the football.
It is probable that 'Sumit is bored and Lily is a frog'.
There is almost no chance that 'Sumit is bored and Lily is a frog'.
It is probable that 'Sumit is bored and Lily is a frog'.

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

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

  query(conclusion).
  
'Sumit is bored and Lily is a frog'.