Simple Inference Rules can be built always by the same Patterns or Templates.
add up, Logical Conclusion
Inference Rules, all built according to the same Pattern.
major premise All Humans are mortal
minor premise All Greeks are Humans
Conclusion All Greeks are mortal
So this defines a Pattern. According to this Pattern one can do Logic, because between premises and the conclusion one can do an inference. This inference can be done by a simple Machine so it is always the same: one has a Subject, predicate as well as major, middle, and minor Terms. With this one comes up with a machine that is able to with Rules that are expressed with these Patterns to make mechanical Conclusions.
