ProbabilisticMachine2 [states without logic rule]