Evaluates Known Statements