trueStatements - get statements from Truth Table as L<S> (cached)