Rational Deduction

Rust implementation of the rational deduction algorithm