Eight Inference Rules Logic