Accelerating Deductive Inference: Special Methods for Taxonomies, Colours and Times