A Logic Of FactsOr, Every-day Reasoning by Holyoake, George Jacob
 is a Project Gutenberg book, now on Github.