Logical Validity Checker