It is certain that Sumit is hungry. It is probably not the case that Lily is green. There is little chance that John discarded the apple. There is little chance that if 'John discarded the apple' or 'Lily is green' or both then Brian is gray. It is highly likely that if 'John discarded the apple and Lily is green' then Emily is a sheep. It is probable that if 'Sumit is hungry' or 'John discarded the apple' or both then Daniel left the milk.
It is certain that 'Sumit is hungry' or 'Emily is a sheep' or both.
It is certain that 'Sumit is hungry' or 'Emily is a sheep' or both.
Chances are slight that 'Sumit is hungry' or 'Emily is a sheep' 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.25::factB.
  0.1::factC.
  %hop1
  0.1::factX:-or(factC,factB).
  0.9::factY:-and(factC,factB).
  0.7::factZ:-or(factA,factC).

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

  query(conclusion).
  
'Sumit is hungry' or 'Emily is a sheep' or both.