Reasoning with rules | lit.salon