This is the Truth Machine (beta). See below for instructional video. If you're looking for the Proof Machine, go here. Truth Machine (beta) Create Create Row Row Row Row Row Row Row Row Create Create Create Create Note: this mode understands "=", "<", ">", and short-form predicates, but no quantifiers. Mode One Sentence Delete-Rows Method Two Sentences Argument Truth-Functional Form DRM for FOL Messages All Instructions: How to use the Truth Machine