This is (hopefully) the full set of rules for the factored inferences. The justification for correctness will come later.
