Some new propositional inferences (The Reasoner, 2009)