It is impossible that Mary dropped the apple. It is almost certain that Sumit is hungry. It is highly likely that John went to the hallway. It is probably the case that if 'Sumit is hungry' or 'Mary dropped the apple' or both then Fred put down the apple. It is impossible that if 'Sumit is hungry and Mary dropped the apple' then Gertrude is a mouse. There is almost no chance that if 'Sumit is hungry and Mary dropped the apple' then Julius is a swan.
It is impossible that 'Mary dropped the apple and Sumit is hungry'.
It is impossible that 'Mary dropped the apple and Sumit is hungry'.
It is highly likely that 'Mary dropped the apple and Sumit is hungry'.

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

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

  query(conclusion).
  
'Mary dropped the apple and Sumit is hungry'.