Deductive reasoning & analysis framework for Ruby.