Chances are slight that Sumit is hungry. We believe that Mary went to the hallway. There is a better than even chance that John put down the milk. There is a better than even chance that if 'Mary went to the hallway and Sumit is hungry' then Daniel got the football. Chances are slight that if 'John put down the milk' or 'Mary went to the hallway' or both then Bernhard is green. There is a better than even chance that if 'John put down the milk and Sumit is hungry' then Julius is yellow.
It is highly unlikely that 'Sumit is hungry and Julius is yellow'.
It is highly unlikely that 'Sumit is hungry and Julius is yellow'.
It is probably the case that 'Sumit is hungry and Julius is yellow'.

  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.1::factA.
  0.75::factB.
  0.6::factC.
  %hop1
  0.6::factX:-and(factB,factA).
  0.1::factY:-or(factC,factB).
  0.6::factZ:-and(factC,factA).

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

  query(conclusion).
  
'Sumit is hungry and Julius is yellow'.