OccamStar is an AI program for deductive and inductive reasoning.