Verification of Truth/Lie of Statements