A logic of facts, or, Every-day reasoning / by G. J. Holyoake