 With this method Boole had replaced the art of reasoning from premise propositions to conclusion propositions by a routine mechanical algebraic procedure. On p. 240 of LT he said that it was always  theoretically possible to carry out elimination by piecing together  syllogisms, but there was no method (i.e., algorithm) given for doing this.