ProbabilisticMachine2 [states without logic rule, dev.]