Can use very basic rule statements.  I haven't tested this for recursive
deductions, but it should in theory work already.  As always, work in
progress (don't be hatin').