This program evaluates formal logic using relations in Racket, a LISP-like programming language. It can evaluate statements using "forall" and "exists." So for example, given a set of trees, plants, and taller-than relationships it could evaluate things like "All trees are taller than Ferns" or "There exists a willow that is taller than a fern."