HUGINN
Implication and linear inference — Huginn